Instance deadlock: A mystery behind frozen programs

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

Volumn 6128 LNCS, Issue , 2010, Pages 1-17

  Juhás, Gabriel ^a   Kazlov, Igor ^a   Juhásová, Ana ^a  

^a SLOVAK UNIVERSITY OF TECHNOLOGY   (Slovakia)

Author keywords

[No Author keywords available]

Indexed keywords

EVENT DRIVEN; MULTIPLE INSTANCES; PLACE/TRANSITION PETRI NETS; RESOURCE-CONSTRAINED WORKFLOW NETS; SHARED RESOURCES; WORKFLOW NETS; WORKFLOW PROCESS;

GRAPH THEORY; MANAGEMENT;

PETRI NETS;

EID: 77955353261     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-13675-7_1     Document Type: Conference Paper

References (6)

1. van der Aalst, W.M.P., van Hee, K.: Workflow Management, Models Methods and Systems. The MIT Press, Cambridge (2002)
2. Esparza, J., Nielsen, M.: Decidability issues for Petri nets-a survey. J. Inform. Process. Cybernet. 30(3), 143-160 (1994)
3. van Hee, K.M., Serebrenik, A., Sidorova, N., Voorhoeve, M.: Soundness of Resource-Constrained Workflow Nets. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 250-267. Springer, Heidelberg (2005)
4. Medling, J., van der Aalst, W.M.P.: Errors in the SAP Reference Models. BPTrends (June 2006)
5. Desel, J., Juhás, G.: What is a Petri Net? In: Ehrig, H., Juhás, G., Padberg, J., Rozenberg, G. (eds.) APN 2001. LNCS, vol. 2128, pp. 1-25. Springer, Heidelberg (2001)
6. Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use I II III. Springer, Heidelberg (1997)