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 条

[21] Modeling and Analysis of Security Protocols Using Colored Petri Nets
Xu, Yang
Xie, Xiaoyao
JOURNAL OF COMPUTERS, 2011, 6 (01) : 19 - 27
[22] Modeling and recognition of hand gesture using colored Petri nets
Nam, Y
Wohn, K
Lee-Kwang, H
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 1999, 29 (05): : 514 - 521
[23] Modeling membrane systems using colored stochastic Petri nets
Liu, Fei
Heiner, Monika
NATURAL COMPUTING, 2013, 12 (04) : 617 - 629
[24] Formal Modeling and Analysis of SIP Using Colored Petri Nets
Bai, Yunli
Ye, Xinming
Ma, Yuanfei
2011 7TH INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING (WICOM), 2011,
[25] Modeling and Analysis of Inventory System by Using Colored Petri Nets
Lu, Xiaochun
Liu, Dongyuan
Ni, Zhiwei
IEEE/SOLI'2008: PROCEEDINGS OF 2008 IEEE INTERNATIONAL CONFERENCE ON SERVICE OPERATIONS AND LOGISTICS, AND INFORMATICS, VOLS 1 AND 2, 2008, : 1359 - 1364
[26] Modeling and simulation of a production system by using colored Petri nets
Mert, Volkan
Ozkan, Hanife Apaydm
Aybar, Aydm
ICCC 2007: 5TH IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL CYBERNETICS, PROCEEDINGS, 2007, : 161 - 165
[27] MODELING OF BIOMETRIC IDENTIFICATION SYSTEM USING THE COLORED PETRI NETS
Petrosyan, G. R.
Ter-Vardanyan, L. A.
Gaboutchian, A. V.
PHOTOGRAMMETRIC TECHNIQUES FOR VIDEO SURVEILLANCE, BIOMETRICS AND BIOMEDICINE, 2015, 40-5 (W6): : 37 - 42
[28] Test Case Generation for BPEL-Based Web Service Composition Using Colored Petri Nets
Johan, Hosney
Rao, Sana
Liu, Dongmei
PROCEEDINGS OF THE 2016 INTERNATIONAL CONFERENCE ON PROGRESS IN INFORMATICS AND COMPUTING (PIC), VOL 1, 2016, : 623 - 628
[29] MODELING AND SIMULATION OF AN INTRUSION TOLERANT WEB SERVICE ARCHITECTURE USING COLOURED PETRI NETS
Aghajani, Zahra
Azgomi, Mohammad Abdollahi
MESM 2009: 10TH MIDDLE EASTERN SIMULATION MULTICONFERENCE, 2009, : 60 - 66
[30] Modeling workflow processes with colored Petri nets
Liu, DS
Wang, JM
Chan, SCF
Sun, JG
Zhang, L
COMPUTERS IN INDUSTRY, 2002, 49 (03) : 267 - 281

← 1 2 3 4 5 →