Generalised soundness of workflow nets is decidable

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3099, Issue , 2004, Pages 197-215

  Van Hee, Kees ^a   Sidorova, Natalia ^a   Voorhoeve, Marc ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Decidability; Petri nets; Soundness; Verification; Workflows

Indexed keywords

ALGEBRA; PETRI NETS; VERIFICATION;

ALGEBRAIC METHOD; CORRECTNESS CRITERION; DECISION PROCEDURE; INITIAL MARKING; NATURAL NUMBER; SOUNDNESS; WORK-FLOWS; WORKFLOW NETS;

COMPUTABILITY AND DECIDABILITY;

EID: 27144547240     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27793-4_12     Document Type: Article

References (8)

1. W. van der Aalst. Verification of workflow nets. In P. Azéma and G. Balbo, editors, Application and Theory of Petri Nets 1997, ICATPN'1997, volume 1248 of Lecture Notes in Computer Science. Springer-Verlag, 1997.
2. F. Commoner. Deadlocks in Petri Nets. Applied Data Research, Inc., Wakefield, Massachusetts, Report CA-7206-2311, 1972.
3. J. Desel and J. Esparza. Free Choice Petri nets., volume 40 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1995.
4. K. van Hee, N. Sidorova, and M. Voorhoeve. Soundness and separability of workflow nets in the stepwise refinement approach. In W. van der Aalst and E. Best, editors, Application and Theory of Petri Nets 2003, ICATPN'2003, volume 2679 of Lecture Notes in Computer Science. Springer-Verlag, 2003.
5. K. Lautenbach. Liveness in Petri Nets. Internal Report of the Gesellschaft für Mathematik und Datenverarbeitung, Bonn, Germany, ISF/75-02-1, 1975.
6. A. Schrijver. Theory of Linear and Integer Programming. Wiley-Interscience series in discrete mathematics. John Wiley & Sons, 1986.
7. P. Starke. Analyse von Petri-Netz-Modellen. Teubner, 1990.
8. H. Verbeek, T. Basten, and W. van der Aalst. Diagnosing workflow processes using Woflan. The Computer Journal, 44(4):246-279, 2001.