In: Seventh IEEE International Conference on E-Commerce Technology (CEC'05), pages 548-551. 2005. http://doi.ieeecomputersociety.org/10.1109/ICECT.2005.89.
Abstract: To maximize throughput in workflow systems concurrency is required. On the other hand concurrency must be controlled especially in systems in which a set of tasks can not serve more than one activity at a time constituting a critical section. This paper introduces an extended workflow Petri net model to deal with synchronization among activities in workflows which include critical sections and which the validity of resource tokens is subject to real time constrains. The paper also addresses the soundness property of the proposed extended workflow Petri net.