Structural soundness of workflow nets is decidable

Information Processing Letters

Volumn 96, Issue 2, 2005, Pages 54-58

  Ţiplea, Ferucio Laurenţiu ^a,b   Marinescu, Dan Cristian ^a  

^a University of Central Florida   (United States)

^b ALEXANDRU IOAN CUZA UNIVERSITY OF IASI   (Romania)

Author keywords

Algorithms; Decidability; Petri net; Soundness; Workflow net

Indexed keywords

STRUCTURAL ANALYSIS;

STRUCTURAL SOUNDNESS; WORKFLOW NETS;

DATA PROCESSING;

EID: 27544439061     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ipl.2005.06.002     Document Type: Article

References (9)

1. V.M.P. van der Aalst, Structural characterization of sound workflow nets, Computing Science Report 96/23, Eindhoven University of Technology, 1996.
2. V.M.P. van der Aalst, The application of Petri nets to workflow management, J. Circuits, Systems, Comput. 8 (1) (1998) 21-66.
3. K. Barkaoui, I.E. Abdallah, Analysis of a resource allocation problem in FMS using structure theory of Petri nets, in: Proceedings of the 1st International Workshop on FMS and Petri Nets, Osaka, June 1996.
4. K. Barkaoui, Control systems design for automated manufacturing systems, Technical Report, CEDRIC, 1997.
5. K. Barkaoui, L. Petrucci, Structural analysis of workflow nets with shared resources, in: Proceeding of the Workshop "Workflow Management: Net-Based Concepts, Models, Techniques and Tools WFM'98", Lisbon (Portugal), June 1998, pp. 82-95.
6. J. Esparza, Decidability and complexity of Petri net problemsan introduction, in: G. Rozenberg, W. Reisig (Eds.), Lectures on Petri Nets I: Basic Models. Advances in Petri Nets, in: Lecture Notes in Comput. Sci., vol. 1491, Springer-Verlag, Berlin/New York, 1998, pp. 374-428.
7. K. van Hee, N. Sidorova, M. Voorhoeve, Soundness and separability of workflow nets in the stepwise refinement approach, in: Proceedings of the 24th International Conference on Application and Theory of Petri Nets, Eindhoven (Netherlands), in: Lecture Notes in Comput. Sci., vol. 2679, Springer-Verlag, Berlin/New York, 2003, pp. 337-356.
8. K. van Hee, N. Sidorova, M. Voorhoeve, Generalised soundness of workflow nets is decidable, in: Proceedings of the 25th International Conference on Application and Theory of Petri Nets, Bologna (Italy), in: Lecture Notes in Comput. Sci., vol. 3099, Springer-Verlag, Berlin/New York, 2004, pp. 197-216.
9. W. Reisig, Petri Nets. An Introduction, EATCS Monographs on Theoretical Computer Science, Springer-Verlag, Berlin/New York, 1985.