For the most recent entries see the Petri Nets Newsletter.

An Extended Petri net for Modeling Workflow with Critical Sections.

Kotb, Yehia Thabet; Baumgart, Andre Stephan

In: IEEE International Conference on e-Business Engineering (ICEBE'05), 2005, pages 134-141. 2005. URL:,.

Abstract: This work presents an 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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography