DocumentCode
3282032
Title
Instantiating nets and their applications to workflow nets
Author
Tiplea, Ferucio Laurentiu ; Tiplea, Aurora
Author_Institution
Sch. of Comput. Sci., Central Florida Univ., Orlando, FL, USA
fYear
2005
fDate
25-29 Sept. 2005
Abstract
K-soundness, generalized soundness, and structural soundness are important correctness criteria that workflow nets should satisfy. Using instantiating nets, we present in a uniform way some of the results obtained regarding the decidability status of the generalized and structural soundness properties.
Keywords
Petri nets; decidability; workflow management software; decidability; generalized soundness; instantiating nets; k-soundness; structural soundness; workflow nets; Application software; Computer science; Councils; Fires; Petri nets; Terminology;
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.39
Filename
1595875
Link To Document