On Generating *-Sound Nets with Substitution

We present a method for hierarchically generating sound work flow nets by substitution of nets with multiple inputs and outputs. We show that our method is correct and generalizes the class of nets generated by other hierarchical approaches. We identify a notion of soundness that is preserved by such substitutions and correct a small omission in an earlier similar method.

[1]  Moe Thandar Wynn,et al.  Soundness of workflow nets: classification, decidability, and analysis , 2011, Formal Aspects of Computing.

[2]  Kamel Barkaoui,et al.  Workflow Soundness Verification based on Structure Theory of Petri Nets , 2007 .

[3]  Jörg Desel,et al.  Free Choice Petri Nets (Cambridge Tracts in Theoretical Computer Science) , 2005 .

[4]  Hejiao Huang,et al.  Structure and behavior preservation by Petri-net-based refinements in system design , 2004, Theor. Comput. Sci..

[5]  Qi Mei,et al.  The Behavior Properties of Refinement of Petri Nets and Application in Parallel Programming , 2009, 2009 WRI World Congress on Computer Science and Information Engineering.

[6]  Jan Mendling,et al.  Understanding Business Process Models: The Costs and Benefits of Structuredness , 2012, CAiSE.

[7]  Ichiro Suzuki,et al.  A Method for Stepwise Refinement and Abstraction of Petri Nets , 1983, J. Comput. Syst. Sci..

[8]  Wilfried Brauer,et al.  A survey of behaviour and equivalence preserving refinements of Petri nets , 1991, Applications and Theory of Petri Nets.

[9]  Kees M. van Hee,et al.  On the relationship between workflow models and document types , 2009, Inf. Syst..

[10]  Claudia Ermel,et al.  Rule-based refinement of high-level nets preserving safety properties , 2001, Sci. Comput. Program..

[11]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[12]  Boualem Benatallah,et al.  A Top-Down Petri Net-Based Approach for Dynamic Workflow Modeling , 2003, Business Process Management.

[13]  Kees M. van Hee,et al.  Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach , 2003, ICATPN.

[14]  Manuel Silva Suárez,et al.  On the analysis and synthesis of free choice systems , 1991, Applications and Theory of Petri Nets.

[15]  Piotr Chrzastowski-Wachtel.  Determining Sound Markings in Structured Nets , 2006, Fundam. Informaticae.

[16]  Kamel Barkaoui,et al.  Uniform verification of workflow soundness , 2011 .

[17]  Marlon Dumas,et al.  Structuring acyclic process models , 2012, Inf. Syst..