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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3282032
بازگشت