Checking properties of adaptive workflow nets

Fundamenta Informaticae

Volumn 79, Issue 3-4, 2007, Pages 347-362

  Van Hee, Kees ^a   Oanea, Olivia ^a   Serebrenik, Alexander ^a   Sidorova, Natalia ^a   Voorhoeve, Marc ^a   Lomazova, Irina A ^b  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b PROGRAM SYSTEMS INSTITUTE   (Russian Federation)

Author keywords

Adaptive workflow; Circumspectness; Soundness; Verification

Indexed keywords

DATA HANDLING; FINITE AUTOMATA; LOGIC PROGRAMMING; MODEL CHECKING;

ADAPTIVE WORKFLOW; FINITE STATE ABSTRACTION; SOUNDNESS; WORKFLOW NETS;

PETRI NETS;

EID: 34548658997     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (22)

1. The CPN Tools Homepage, http://www.daimi.au.dk/CPNtools.
2. van der Aalst,W. M. P.: Verification of Workflow Nets, Proc. of ICATPN'1997 (P. Azéma, G. Balbo, Eds.), 1248, Springer, 1997.
3. van der Aalst,W. M. P., Basten, T., Verbeek, H. M. W., Verkoulen, P. A. C., Voorhoeve, M.: Adaptive Workflow-On the Interplay between Flexibility and Support, ICEIS'99, 1999.
4. van der Aalst,W. M. P., van Hee, K.: Workflow Management: Models, Methods, and Systems, MIT Press, 2002.
5. van der Aalst,W. M. P., ter Hofstede, A. H. M., Kiepuszewski, B., Barros, A. P.: Workflow Patterns., Distributed and Parallel Databases, 14(1), 2003, 5-51.
6. van der Aalst,W. M. P., Moldt, D., Valk, R., Wienberg, F.: Enacting Interorganizational Workflows Using Nets in Nets, Proc. of Workflow Management'99, 1999.
7. Adams, M., ter Hofstede, A. H. M., Edmond, D., van der Aalst, W. M. P.: Facilitating Flexibility and Dynamic Exception Handling in Workflows through Worklets., CAiSE Short Paper Proceedings (O. Belo, J. Eder, J. Falcão e Cunha, O. Pastor, Eds.), 161, CEUR-WS.org, 2005.
8. Best, E., Koutny, M.: Process Algebra: A Petri-Net-Oriented Tutorial., Lectures on Concurrency and Petri Nets, 3098, Springer, 2004.
9. Biberstein, O., Buchs, D., Guelfi, N.: Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism., Concurrent Object-Oriented Programming and PetriNets (G. Agha, F. de Cindio, G. Rozenberg, Eds.), 2001, Springer, 2001.
10. Dickson, L. E.: Finiteness of the Odd Perfect and Promitive Abundant Numbers with n distictive Prime factors, American Journal of Mathematics, 35(4), 1913, 413-422.
11. Fent, A., Reiter, H., Freitag, B.: Design for Change: Evolving Workflow Specifications in ULTRAflow, CAiSE 2002 (A. B. Pidduck, J. Mylopoulos, C. C. Woo, M. T. Özsu, Eds.), 2348, Springer, 2002.
12. van Hee, K., Lomazova, I. A., Oanea, O., Serebrenik, A., Sidorova, N., Voorhoeve, M.: Nested Nets for Adaptive Systems, ICATPN'06, 4024, 2006.
13. van Hee, K., Sidorova, N., Voorhoeve, M.: Generalized Soundness of Workflow Nets is Decidable, Proc. of ICATPN'2004, 3099, 2004.
14. Köhler, M., Rölke, H.: Reference and Value Semantics Are Equivalent for Ordinary Object Petri Nets., ICATPN 2005, 3536, Springer, 2005.
15. Lakos, C.: From Coloured Petri Nets to Object Petri Nets, ATPN'95,935, Springer, 1995.
16. Lomazova, I. A.: Nested Petri Nets - a Formalism for Specification and Verification of Multi-Agent Distributed Systems., Fundamenta Informaticae, 43(1-4), 2000, 195-214.
17. Lomazova, I. A.: Nested Petri Nets: Multi-level and Recursive Systems., Fundamenta Informaticae, 47(3-4), 2001, 283-293.
18. Lomazova, I. A., Schnoebelen, P.: Some Decidability Results for Nested Petri Nets., Ershov Memorial Conference, 1755, Springer, 1999.
19. Moldt, D., Wienberg, F.: Multi-Agent-Systems Based on Coloured Petri Nets., ICATPN'97 (P. Azéma, G. Balbo, Eds.), 1248, Springer, 1997.
20. Rinderle, S., Reichert, M., Dadam, P.: Correctness criteria for dynamic changes in workflow systems - a survey., Data Knowl. Eng., 50(1), 2004, 9-34.
21. Valk, R.: Object Petri Nets: Using the Nets-within-Nets Paradigm., Lectures on Concurrency and Petri Nets (J. Desel, W. Reisig, G. Rozenberg, Eds.), 3098, Springer, 2003.
22. Verbeek, H. M. W., Basten, T., van der Aalst, W. M. P.: Diagnosing Workflow Processes using Woflan, The Computer Journal, 44(4), 2001, 246-279.