Modeling a Pharmaceutical Web-Service Using Colored Petri Nets

The article describes building models a pharmaceutical web-service based on colored Petri nets. To build models, a specialized service algebra and diagrams in DFD notation have been developed. A system of models of the first and second levels of pharmaceutical service based on colored Petri nets in the CPN Tools environment has been created. The developed models were investigated. On their basis, computational experiments were carried out, including simulation modeling and calculation of model parameters. The quality of the developed pharmaceutical service was assessed.