SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Soundness of Workflow Nets with Reset Arcs
16 references·0 citing·28 second hop
Soundness of Workflow Nets with Reset Arcs (2009)Soundness of Workflow Nets with Reset ArcsWorkflow Management: Models, Methods And Systems (2009)Workflow Management: Models, …Business process verification – finally a reality! (2009)Business process verification…Understanding the Occurrence of Errors in Process Models Based on Metrics (2007)Understanding the Occurrence …On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS (2007)On the Move to Meaningful Int…Business Process Management : Concepts, Languages, Architectures (2007)Business Process Management :…Process-aware information systems: bridging people and software through process technology (2006)Process-aware information sys…Process‐Aware Information Systems (2005)Process‐Aware Information Sys…BRIDGING THE GAP BETWEEN BUSINESS MODELS AND WORKFLOW SPECIFICATIONS (2004)BRIDGING THE GAP BETWEEN BUSI…Applications and Theory of Petri Nets 2004 (2004)Applications and Theory of Pe…Workflow Management—Models, Methods and Systems (2003)Workflow Management—Models, M…Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach (2003)Soundness and Separability of…Relaxed Soundness of Business Processes (2001)Relaxed Soundness of Business…Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques (2000)Workflow Verification: Findin…Production Workflow - Concepts and Techniques (2000)Production Workflow - Concept…THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)THE APPLICATION OF PETRI NETS…Verification of workflow nets (1997)Verification of workflow netsFormalization and verification of event-driven process chains (1999)Workflow Patterns (2003)The importance of business process modeling in software systems design (2008)Unleashing the Effectiveness of Process-Oriented Information Systems: Problem Analysis, Critical Success Factors, and Implications (2008)Using process mining to learn from process changes in evolutionary systems (2008)Workflow Management: Modeling Concepts, Architecture and Implementation (1996)Diagnosing Workflow Processes using Woflan (2001)What Makes Process Models Understandable? (2007)Soundness of workflow nets: classification, decidability, and analysis (2010)Case handling: a new paradigm for business process support (2004)Design science in information systems research (2004)Business process mining: An industrial application (2006)Declarative workflows: Balancing between flexibility and support (2009)Process mining in healthcare: A literature review (2016)Digital transformation and the new logics of business process management (2020)Change patterns and change support features – Enhancing flexibility in process-aware information systems (2008)Replaying history on process models for conformance checking and performance analysis (2012)Business Process Management: A Comprehensive Survey (2013)Workflow mining: discovering process models from event logs (2004)YAWL: yet another workflow language (2004)Analyzing process models using graph reduction techniques (2000)Inheritance of workflows: an approach to tackling problems related to change (2002)Provenance and scientific workflows (2008)Big Data and cloud computing: innovation opportunities and challenges (2016)Model-driven eGovernment interoperability: A review of the state of the art (2008)An Artifact-Centric Approach to Dynamic Modification of Workflow Execution (2011)A comparative study of existing quality measures for process discovery (2017)DECLARE: Full Support for Loosely-Structured Processes (2007)
this work references cited by second hop

References

  • 1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT2,706 cited
  • 2007Business Process Management : Concepts, Languages, Architectures1,653 cited
  • 1997Verification of workflow nets802 cited
  • 2000Production Workflow - Concepts and Techniques719 cited
  • 2006Process-aware information systems: bridging people and software through process technology617 cited
  • 2005Process‐Aware Information Systems583 cited
  • 2003Workflow Management—Models, Methods and Systems537 cited
  • 2000Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques435 cited
  • 2007On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS211 cited
  • 2004BRIDGING THE GAP BETWEEN BUSINESS MODELS AND WORKFLOW SPECIFICATIONS162 cited
  • 2009Business process verification – finally a reality!158 cited
  • 2007Understanding the Occurrence of Errors in Process Models Based on Metrics150 cited
  • 2009Workflow Management: Models, Methods And Systems140 cited
  • 2001Relaxed Soundness of Business Processes137 cited
  • 2004Applications and Theory of Petri Nets 2004125 cited
  • 2003

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

Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach
117 cited

Cited by

No citing works inside the corpus for this window.