Soundness and separability of workflow nets in the stepwise refinement approach

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

Volumn 2679, Issue , 2003, Pages 337-356

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

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Correctness; Modelling; Petri nets; Separability; Serialisability; Soundness; Verification; Workflow

Indexed keywords

MODELS; SYSTEMS ENGINEERING; VERIFICATION;

CORRECTNESS; SEPARABILITY; SERIALISABILITY; SOUNDNESS; WORKFLOW;

PETRI NETS;

EID: 35248870540     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44919-1_22     Document Type: Article

References (12)

1. W.M.P. van der Aalst. Verification of Workflow Nets. In Azéma, P. and Balbo, G., editors, Proceedings ATPN '97, LNCS 1248, Springer 1997.
2. W.M.P. van der Aalst, J. Desel and A. Oberweis, editors Business Process. Management, Models, Techniques and Empirical Studies. LNCS 1806, Springer 1998.
3. W.M.P. van der Aalst and K.M. van Hee. Workflow Management: models, methods and systems. The MIT Press, 2000.
4. W.M.P. van der Aalst. Workflow Verification: Finding Control-Flow Errors using Petri-net-based techniques. In [2], pages 161-183.
5. S. Ceri and G. Pelagatti. Distributed Databases: Principles and Systems. McGraw-Hill 1984.
6. P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximaton of fixpoints. In Fourth Annual Symposium on Principles of Programming Languages (POPL) (Los Angeles, Ca), pages 238-252. ACM, January 1977.
7. J. Dehnert and P. Rittgen. Relaxed Soundness of Business Processes. In K.R. Dittrich, A. Geppert and M.C. Norrie, editors, Proceedings CAISE '01, LNCS 2068, pages 157-170, Springer 2001.
8. J. Desel and J. Esparza. Free Choice Petri Nets. Cambridge University Press, 1995.
9. R.J. van Glabbeek and R.P. Weijland. Branching Time and Abstraction in Bisimulation Semantics (extended abstract). In G.X. Ritter, editor, Proceedings IFIP '89, pages 613-618. North Holland 1989.
10. E. Kindler, A. Martens and W. Reisig. Inter-operability of Workflow Applications: Local Criteria for Global Soundness. In [2], pages 235-253.
11. R. Milner. Operational and algebraic semantics of concurrent processes. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, vol. B, chapter 19, pages 1201-1242. Elsevier Science, 1990.
12. H.M.W. Verbeek, T. Basten, and W.M.P. van der Aalst. Diagnosing workflow processes using Woflan. The Computer Journal, 44(4):246-279, 2001.