Title
Instantiating Nets And Their Applications To Workflow Nets
Abstract
k-soundness, generalized soundness, and structural soundness are important correctness criteria that workflow nets should satisfy. Using instantiating nets, we present in an uniform way some of the results recently obtained regarding the decidability status of the generalized and structural soundness properties. © 2005 IEEE.
Publication Date
1-1-2005
Publication Title
Proceedings - Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2005
Volume
2005
Number of Pages
367-373
Document Type
Article; Proceedings Paper
Personal Identifier
scopus
DOI Link
https://doi.org/10.1109/SYNASC.2005.39
Copyright Status
Unknown
Socpus ID
33847239139 (Scopus)
Source API URL
https://api.elsevier.com/content/abstract/scopus_id/33847239139
STARS Citation
Ţiplea, Ferucio Laurenţiu and Ţiplea, Aurora, "Instantiating Nets And Their Applications To Workflow Nets" (2005). Scopus Export 2000s. 4348.
https://stars.library.ucf.edu/scopus2000/4348