For the most recent entries see the Petri Nets Newsletter.

Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach.

van Hee, Kees; Sidorova, Natalia; Voorhoeve, Marc

In: Proceedings of the 24th International Conference on Applications and Theory of Petri Nets (ICATPN 2003), Eindhoven, The Netherlands, June 23-27, 2003, pages 337-356. Volume 2679 of Lecture Notes in Computer Science / Wil M. P. van der Aalst and Eike Best (Eds.) --- Springer-Verlag, June 2003.

Abstract: Workflow nets are recognized as a modelling paradigm for the business process modelling. We introduce and investigate several correctness notions for workflow nets, ranging from proper termination of cases to their mutual independence. We define refinement operators for nets and investigate preservation of correctness through these operators. This gives rise to a class of nets that are provably correct.

Keywords: Petri nets; workflow; modelling; verification; correctness; soundness; separability; serialisability.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography