Title :
Timed workflow nets
Author :
Tiplea, Ferucio Laurentiu ; Macovei, Geanina Ionela
Author_Institution :
Sch. of Comput. Sci., Central Florida Univ., Orlando, FL, USA
Abstract :
In this paper, timed workflow nets are introduced, and a characterization of the soundness property for them is provided. This characterization is based on boundedness and liveness as for classical workflow nets. It is shown that the properties of boundedness and liveness for timed Petri nets can be reduced in linear time to the same properties for untimed Petri nets. Therefore, the soundness property for timed workflow nets can be checked as efficiently as for workflow nets.
Keywords :
Petri nets; workflow management software; soundness property; timed Petri nets; timed workflow nets; Computer science; Control systems; Cooperative systems; Councils; Humans; Petri nets; Process control; Real time systems; Timing; Workflow management software;
Conference_Titel :
Symbolic and Numeric Algorithms for Scientific Computing, 2005. SYNASC 2005. Seventh International Symposium on
Print_ISBN :
0-7695-2453-2
DOI :
10.1109/SYNASC.2005.75
