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 条

[41] Modeling inheritance anomaly in concurrent systems using colored Petri nets
Bauskar, B
Mikolajczak, B
2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 4873 - 4878
[42] FROM PETRI NETS TO COLORED PETRI NETS: A TUTORIAL INTRODUCTION TO NETS BASED FORMALISM FOR MODELING AND SIMULATION
Gehlot, Vijay
2019 WINTER SIMULATION CONFERENCE (WSC), 2019, : 1519 - 1533
[43] Extension of model checking tool of colored Petri nets and its applications in web service composition
Men, Peng
Duan, Zhenhua
Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2009, 46 (08): : 1294 - 1303
[44] COLORED PETRI NETS
JENSEN, K
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 254 : 248 - 299
[45] AN INTRODUCTION TO SYSTEMS MODELING AND SIMULATION WITH COLORED PETRI NETS
Gehlot, Vijay
Nigro, Carmen
PROCEEDINGS OF THE 2010 WINTER SIMULATION CONFERENCE, 2010, : 104 - 118
[46] Complex selecting criteria modeling with colored petri nets
Arjona, E
Bueno, G
1st International Industrial Simulation Conference 2003, 2003, : 125 - 130
[47] Modeling the Classification of Amino Acids with Colored Petri Nets
Yang, Jinliang
Pu, Haitao
Lian, Jian
Ren, Guoqiang
2015 IEEE INTERNATIONAL CONFERENCE ON INFORMATION AND AUTOMATION, 2015, : 1763 - 1768
[48] Modeling interactive systems with hierarchical colored Petri nets
Elkoutbi, M
Keller, RK
PROCEEDINGS OF THE HIGH-PERFORMANCE COMPUTING (HPC'98), 1998, : 432 - 437
[49] Modeling and resolving inheritance anomaly with colored Petri nets
Bauskar, B
Mikolajczak, B
SERP'04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2004, : 516 - 522
[50] Colored Petri nets for modeling of networked control systems
Farah, Khamsa
Chabir, Karim
Abdelkrim, Mohamed Naceur
2019 19TH INTERNATIONAL CONFERENCE ON SCIENCES AND TECHNIQUES OF AUTOMATIC CONTROL AND COMPUTER ENGINEERING (STA), 2019, : 226 - 230

← 1 2 3 4 5 →