DocumentCode
3282018
Title
Timed workflow nets
Author
Tiplea, Ferucio Laurentiu ; Macovei, Geanina Ionela
Author_Institution
Sch. of Comput. Sci., Central Florida Univ., Orlando, FL, USA
fYear
2005
fDate
25-29 Sept. 2005
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Symbolic and Numeric Algorithms for Scientific Computing, 2005. SYNASC 2005. Seventh International Symposium on
Print_ISBN
0-7695-2453-2
Type
conf
DOI
10.1109/SYNASC.2005.75
Filename
1595874
Link To Document