SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Verifying Generalized Soundness of Workflow Nets
7 references·1 citing·29 second hop
Verifying Generalized Soundness of Workflow Nets (2007)Verifying Generalized Soundness of Workfl…Structural soundness of workflow nets is decidable (2005)Structural soundness of workf…Generalised Soundness of Workflow Nets Is Decidable (2004)Generalised Soundness of Work…Applications and Theory of Petri Nets 2004 (2004)Applications and Theory of Pe…Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach (2003)Soundness and Separability of…Workflow Management (2002)Workflow ManagementWorkflow Management: Models, Methods, and Systems (2001)Workflow Management: Models, …THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)THE APPLICATION OF PETRI NETS…Turning event logs into process movies: animating what has really happened (2016)Turning event logs into proce…Process innovation: reengineering work through information technology (1993)An overview of workflow management: From process modeling to workflow automation infrastructure (1995)Best practices in business process redesign: an overview and qualitative evaluation of successful redesign heuristics (2004)Case handling: a new paradigm for business process support (2004)DECLARE: Full Support for Loosely-Structured Processes (2007)Verification of workflow nets (1997)Diagnosing Workflow Processes using Woflan (2001)Business Process Modeling Using Petri Nets (2013)Some Complexity Results for the Soundness Problem of Workflow Nets (2013)Petri Net Based Data-Flow Error Detection and Correction Strategy for Business Processes (2020)Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques (2000)Analyzing BPEL processes using Petri nets (2005)Translating unstructured workflow processes to readable BPEL: Theory and implementation (2006)Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants (2007)Big data: The next frontier for innovation, competition, and productivity (2011)Process Mining (2011)Process Mining: Discovery, Conformance and Enhancement of Business Processes (2011)Uniform verification of workflow soundness (2010)Decidability Results for Soundness Criteria of Resource-Constrained Workflow Nets (2011)Measurement and Computation of Profile Similarity of Workflow Nets Based on Behavioral Relation Matrix (2018)Workflow Patterns (2003)Workflow mining: discovering process models from event logs (2004)YAWL: yet another workflow language (2004)Detecting Implicit Dependencies Between Tasks from Event Logs (2005)Process-Aware Information Systems: Lessons to Be Learned from Process Mining (2009)Reducing false positives in fraud detection: Combining the red flag approach with process mining (2018)Process mining: a research agenda (2003)Design Science in Information Systems Research1 (2004)Scientific workflow management and the Kepler system (2005)
this work references cited by second hop

References

  • 1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT2,706 cited
  • 2002Workflow Management744 cited
  • 2001Workflow Management: Models, Methods, and Systems742 cited
  • 2004Applications and Theory of Petri Nets 2004125 cited
  • 2003Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach117 cited
  • 2004Generalised Soundness of Workflow Nets Is Decidable65 cited
  • 2005Structural soundness of workflow nets is decidable29 cited

Cited by

  • 2016Turning event logs into process movies: animating what has really happened15 cited

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