Citation map · Study

SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach

5 references·16 citing·35 second hop

FromToDepth

this work references cited by second hop

References

1997Verification of workflow nets802 cited
2001Workflow Management: Models, Methods, and Systems742 cited
2000Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques435 cited
2001Diagnosing Workflow Processes using Woflan317 cited
2001Relaxed Soundness of Business Processes137 cited

Cited by

2006Translating unstructured workflow processes to readable BPEL: Theory and implementation113 cited
2007Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants88 cited
2005Analyzing BPEL processes using Petri nets70 cited
2004Generalised Soundness of Workflow Nets Is Decidable65 cited
2003Challenges in Business Process Management: Verification of business processes using Petri nets57 cited
2004Using genetic algorithms to mine process models : representation, operators and results49 cited
2005Let’s Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System48 cited
2012Maximal Structuring of Acyclic Process Models42 cited
2005Soundness of Resource-Constrained Workflow Nets42 cited
2013Business Process Modeling Using Petri Nets

Only edges whose both ends are imported exist here. Widen the year window, or show the whole map. Back to the work

40 cited

2005Translating workflow nets to BPEL36 cited

2013Some Complexity Results for the Soundness Problem of Workflow Nets33 cited

2005Structural soundness of workflow nets is decidable29 cited

2011Formalizing a Workflow-Net Implementation of Design-Structure-Matrix-Based Process Planning for New Product Development27 cited

2008On the relationship between workflow models and document types24 cited

2006Workflow Model Compositions Preserving Relaxed Soundness19 cited