SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Soundness of Resource-Constrained Workflow Nets
6 references·7 citing·34 second hop
Soundness of Resource-Constrained Workflow Nets (2005)Soundness of Resource-Constrained Workflo…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, …Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques (2000)Workflow Verification: Findin…THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)THE APPLICATION OF PETRI NETS…Verification of workflow nets (1997)Verification of workflow netsBusiness Process Modeling Using Petri Nets (2013)Business Process Modeling Usi…Optimizing Resource Conflicts in Workflow Management Systems (2010)Optimizing Resource Conflicts…An adaptive work distribution mechanism based on reinforcement learning (2010)An adaptive work distribution…A method of workflow scheduling based on colored Petri nets (2010)A method of workflow scheduli…Work flows in life science (2009)Work flows in life scienceConflict detection and resolution for workflows constrained by resources and non-determined durations (2007)Conflict detection and resolu…Workflow Model Compositions Preserving Relaxed Soundness (2006)Workflow Model Compositions P…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)Managing Change (1992)Workflow mining: discovering process models from event logs (2004)Network-based social coordination of business processes (2016)Petri Net Based Data-Flow Error Detection and Correction Strategy for Business Processes (2020)Top-Down Process Mining From Multi-Source Running Logs Based on Refinement of Petri Nets (2020)Three Good Reasons for Using a Petri-Net-Based Workflow Management System (1998)Planning of business process execution in Business Process Management environments (2014)A dynamic task assignment approach based on individual worklists for minimizing the cycle time of business processes (2015)Reengineering Work: Don’t Automate, Obliterate (1990)Verifying soundness of business processes: A decision process Petri nets approach (2014)Conformance checking of mixed-paradigm process models (2020)Evaluating large language models on business process modeling: framework, benchmark, and self-improvement analysis (2025)Workflow Patterns (2003)The resource allocation model for multi-process instances based on particle swarm optimization (2017)Resource allocation in business process executions—A systematic literature study (2025)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)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)YAWL: yet another workflow language (2004)Formalization and verification of event-driven process chains (1999)Analyzing process models using graph reduction techniques (2000)Inheritance of workflows: an approach to tackling problems related to change (2002)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
  • 1997Verification of workflow nets802 cited
  • 2002Workflow Management744 cited
  • 2001Workflow Management: Models, Methods, and Systems742 cited
  • 2000Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques435 cited
  • 2003Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach117 cited

Cited by

  • 2013Business Process Modeling Using Petri Nets40 cited
  • 2007Conflict detection and resolution for workflows constrained by resources and non-determined durations35 cited
  • 2010Optimizing Resource Conflicts in Workflow Management Systems30 cited
  • 2010A method of workflow scheduling based on colored Petri nets25 cited
  • 2009Work flows in life science22 cited
  • 2006Workflow Model Compositions Preserving Relaxed Soundness19 cited
  • 2010An adaptive work distribution mechanism based on reinforcement learning19 cited

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