An extended petri net for modeling workflow with critical sections

被引：5

作者：

Kotb, YT ^{[1
]}

Baumgart, AS ^{[1
]}

机构：

[1] Univ Mannheim, Automat Lab Comp Engn, D-68131 Mannheim, Germany

来源：

ICEBE 2005: IEEE INTERNATIONAL CONFERENCE ON E-BUSINESS ENGINEERING, PROCEEDINGS | 2005年

关键词：

D O I：

10.1109/ICEBE.2005.27

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

This work presents air extended workflow petri net which synchronizes activity flow in the critical sections of the process. A critical section is a non empty set of tasks that cannot serve more than one activity at a time. The structure of the proposed net is introduced and a theorem is proposed and proved for the properties of separability and serializability. A fully detailed model for the operation theater in a hospital is presented using the proposed theoretical structure to control concurrency between activities in the critical sections.

引用

页码：134 / 141

页数：8

共 50 条

[21] Role-oriented Workflow Modeling Based on Object Petri Net
Xiao, Zhijiao
Ming, Zhong
Yin, Jianfei
[J]. PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE FOR YOUNG COMPUTER SCIENTISTS, VOLS 1-5, 2008, : 837 - 843
[22] An Extended Stochastic Petri Nets Modeling Method for Collaborative Workflow Process
Yi, Yang
[J]. 2012 INTERNATIONAL CONFERENCE ON MEDICAL PHYSICS AND BIOMEDICAL ENGINEERING (ICMPBE2012), 2012, 33 : 1547 - 1552
[23] Petri Net Computers and Workflow Nets
Tiplea, Ferucio L.
Diaconu, Raluca A.
[J]. IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2015, 45 (03): : 496 - 507
[24] Modeling Business Process Reengineering Through Extended Petri Net
Tang Zhi-wei
Zong Dai
[J]. ICNC 2008: FOURTH INTERNATIONAL CONFERENCE ON NATURAL COMPUTATION, VOL 2, PROCEEDINGS, 2008, : 458 - +
[25] Modeling Software Component Based on Extended Colored Petri Net
Yu, Yong
Li, Tong
Liu, Qing
Dai, Fei
[J]. INTELLIGENT COMPUTING AND INFORMATION SCIENCE, PT II, 2011, 135 : 429 - 434
[26] MODELING AND ANALYSIS OF A SEMAPHORE SYSTEM BY AN EXTENDED STOCHASTIC PETRI NET
SUGASAWA, Y
JIN, Q
ZHANG, JT
SEYA, K
[J]. INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 1991, 22 (01) : 217 - 224
[27] Procedural constraints in the extended RBAC and the Coloured Petri Net modeling
Shin, W
Lee, JG
Kim, HK
Sakurai, K
[J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2005, E88A (01): : 327 - 330
[28] Model Checking Workflow Net Based on Petri Net
ZHOU Conghua~1
2. School of Computer Science and Engineering
[J]. Wuhan University Journal of Natural Sciences, 2006, (05) : 1297 - 1301
[29] Modeling of Extended Selective Repeat Protocol Based on Petri Net
Tang, Mingwei
Song, Wen
Fan, Mingyu
Hu, Jie
[J]. PROCEEDINGS OF 2010 INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY AND INDUSTRIAL ENGINEERING, VOLS I AND II, 2010, : 945 - 948
[30] SRN: An extended Petri-Net-Based workflow model for Web service composition
Tang, Y
Chen, L
He, KT
Jing, N
[J]. IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2004, : 591 - 599

← 1 2 3 4 5 →