Modeling a Pharmaceutical Web-Service Using Colored Petri Nets

被引：0

作者：

Kalinina, Irina ^{[1
]}

Gozhyj, Aleksandr ^{[1
]}

Gozhyi, Victor ^{[1
]}

机构：

[1] Petro Mohyla Black Sea Natl Univ, Intelligent Informat Syst Dept, Mykolayiv, Ukraine

来源：

2022 IEEE 17TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCES AND INFORMATION TECHNOLOGIES (CSIT) | 2022年

关键词：

pharmaceutical web-service; interaction of web-services; model; colored Petri nets;

D O I：

10.1109/CSIT56902.2022.10000824

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

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.

引用

页码：345 / 348

页数：4

共 50 条

[31] ML AND COLORED PETRI NETS FOR MODELING AND SIMULATION
VARHOL, PD
DR DOBBS JOURNAL, 1991, 16 (09): : 76 - &
[32] MODELING CONCURRENT PROGRAMS WITH COLORED PETRI NETS
STANSIFER, R
BEAVEN, M
MARINESCU, DC
JOURNAL OF SYSTEMS AND SOFTWARE, 1994, 26 (02) : 129 - 148
[33] Malware Behavior Modeling with Colored Petri Nets
Jasiul, Bartosz
Szpyrka, Marcin
Sliwa, Joanna
COMPUTER INFORMATION SYSTEMS AND INDUSTRIAL MANAGEMENT, CISIM 2014, 2014, 8838 : 667 - 679
[34] Modeling and Analysis of an Online Score System Using Colored Petri Nets
Xu, Yang
Xie, Xiayao
Xia, Daoxun
Liu, Zhijie
Chen, Lingmin
PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON ANTI-COUNTERFEITING, SECURITY, AND IDENTIFICATION IN COMMUNICATION, 2009, : 432 - 436
[35] MODELING AND ANALYSIS OF EMBEDDED MULTIMEDIA APPLICATIONS USING COLORED PETRI NETS
Dey, Soumyajit
Rokkam, Praveen
Basu, Anupam
INTERNATIONAL JOURNAL OF MODELING SIMULATION AND SCIENTIFIC COMPUTING, 2011, 2 (02) : 169 - 193
[36] Modeling of an automated integral logistics system using colored petri nets
Ochoa, Maria P.
Davila, Julian
INGENIERIA Y COMPETITIVIDAD, 2019, 21 (01): : 63 - 71
[37] Modeling and Analysis of Authentication Protocols. Using Colored Petri Nets
Xu, Yang
Xie, Xiaoyao
PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON ANTI-COUNTERFEITING, SECURITY, AND IDENTIFICATION IN COMMUNICATION, 2009, : 443 - 448
[38] MODELING AUTOMATED MANUFACTURING SYSTEMS USING A MODIFICATION OF COLORED PETRI NETS
KOCHIKAR, VP
NARENDRAN, TT
ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING, 1992, 9 (03) : 181 - 189
[39] An approach for synthesis Petri nets for modeling and verifying composite web service
Ding, Zhi-Jun
Wang, Jun-Li
Jiang, Chang-Jun
JOURNAL OF INFORMATION SCIENCE AND ENGINEERING, 2008, 24 (05) : 1309 - 1328
[40] Modeling of Virtual Assembly and Disassembly Process Using Colored Petri Nets
Wu Di-xiao
Xu Xing-hua
Shang Jie
MECHANICAL ENGINEERING AND TECHNOLOGY, 2012, 125 : 603 - +

← 1 2 3 4 5 →