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] Modeling and Analysis of Maglev Communication System Based on Colored Petri Nets
Jiao, Yibo
Liu, Xiangqian
Cui, Yibo
2017 17TH IEEE INTERNATIONAL CONFERENCE ON COMMUNICATION TECHNOLOGY (ICCT 2017), 2017, : 681 - 686
[32] MODELING OF RAILWAY SYSTEM MAINTENANCE AND AVAILABILITY BY MEANS OF COLORED PETRI NETS
Song, Haifeng
Schnieder, Eckehard
EKSPLOATACJA I NIEZAWODNOSC-MAINTENANCE AND RELIABILITY, 2018, 20 (02): : 236 - 243
[33] Modeling and Analysis of the 1-Wire Communication Protocol Using Timed Colored Petri Nets
Emilia Cambronero, Maria
Macia, Hermenegilda
Valero, Valentin
Orozco Barbosa, Luis
IEEE ACCESS, 2018, 6 : 27356 - 27372
[34] Modeling the Effect Of Data Aggregation On The Performance Of Wireless Sensor Network Using Colored Petri Nets
Alkhudair, Sarah A. S.
Ahmed, Alaa E. S.
PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON INTERNET OF THINGS, DATA AND CLOUD COMPUTING (ICC 2017), 2017,
[35] Modeling and Verification of RBAC Security Policies Using Colored Petri Nets and CPN-Tool
Kahloul, Laid
Djouani, Karim
Tfaili, Walid
Chaoui, Allaoua
Amirat, Yacine
NETWORKED DIGITAL TECHNOLOGIES, PT 2, 2010, 88 : 604 - +
[36] Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets
Gomez, Abel
Rodriguez, Ricardo J.
Cambronero, Maria-Emilia
Valero, Valentin
SOFTWARE AND SYSTEMS MODELING, 2019, 18 (05) : 2973 - 3003
[37] Composing collaborative component systems using Colored Petri Nets
Shinkawa, Y
Matsumoto, MJ
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2001, E84A (05) : 1209 - 1217
[38] Pattern Based Model Reuse Using Colored Petri Nets
Askari, Syed Hassan
Khan, Shahrukh Ali
Haris, Muhammad
Shoaib, Muhammad
2019 19TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ITS APPLICATIONS (ICCSA 2019), 2019, : 32 - 38
[39] Analysis of two authorization protocols using Colored Petri Nets
Younes Seifi
Suriadi Suriadi
Ernest Foo
Colin Boyd
International Journal of Information Security, 2015, 14 : 221 - 247
[40] Analysis of Concurrent Security Protocols Using Colored Petri Nets
Long, Shigong
2009 INTERNATIONAL CONFERENCE ON NETWORKING AND DIGITAL SOCIETY, VOL 1, PROCEEDINGS, 2009, : 227 - 230

← 1 2 3 4 5 →