SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Decidability Results for Soundness Criteria of Resource-Constrained Workflow Nets
15 references·1 citing·36 second hop
Decidability Results for Soundness Criteria of Resource-Constrained Workflow Nets (2011)Decidability Results for Soundness Criter…Uniform verification of workflow soundness (2010)Uniform verification of workf…Workflow Soundness Verification Based on Structure Theory of Petri Nets (2007)Workflow Soundness Verificati…Structural soundness of workflow nets is decidable (2005)Structural soundness of workf…Soundness of Resource-Constrained Workflow Nets (2005)Soundness of Resource-Constra…Analysis of resource-constrained processes with colored petri nets (2005)Analysis of resource-constrai…Performance modeling and analysis of workflow (2004)Performance modeling and anal…Generalised Soundness of Workflow Nets Is Decidable (2004)Generalised Soundness of Work…Data flow and validation in workflow modelling (2004)Data flow and validation in w…Timing constraint workflow nets for workflow analysis (2003)Timing constraint workflow ne…Resource constraints analysis of workflow specifications (2003)Resource constraints analysis…Time Petri nets for workflow modelling and analysis (2002)Time Petri nets for workflow …Three Good Reasons for Using a Petri-Net-Based Workflow Management System (1998)Three Good Reasons for Using …Modeling and Analysis of Workflows Using Petri Nets (1998)Modeling and Analysis of Work…On Correctness Issues in Conceptual Modelling of Workflows. (1997)On Correctness Issues in Conc…An overview of workflow management: From process modeling to workflow automation infrastructure (1995)An overview of workflow manag…Soundness for Resource-Constrained Workflow Nets Is Decidable (2012)Soundness for Resource-Constr…Modeling and enactment of workflow systems (1993)Conceptual modeling of workflows (1995)Automating handover in dynamic workflow environments (1998)Dynamic verification of temporal constraints in production workflows (2002)Handling dynamic schema change in process models (2002)Verification of workflow nets (1997)Diagnosing Workflow Processes using Woflan (2001)Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach (2003)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)Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control (1998)ARIS — Business Process Modeling (1999)Diagnosing and Repairing Data Anomalies in Process Models (2010)Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible (2011)Detecting data-flow errors based on Petri nets with data operations (2017)Workflow Management: Modeling Concepts, Architecture and Implementation (1996)THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)Modeling and Analysis of Real-Time Cooperative Systems Using Petri Nets (2007)Modelling and analysis techniques for cross‐organizational workflow systems (2009)E-Net Modeling and Analysis of Emergency Response Processes Constrained by Resources and Uncertain Durations (2014)Analyzing process models using graph reduction techniques (2000)Knowledge and Process Management in Health Care Organizations (2004)Multiple states based temporal consistency for dynamic verification of fixed‐time constraints in Grid workflow systems (2006)A novel statistical time-series pattern based interval forecasting strategy for activity durations in workflow systems (2010)The specification and enforcement of authorization constraints in workflow management systems (1999)Fundamentals of control flow in workflows (2003)The P2P Approach to Interorganizational Workflows (2013)Workflow Patterns (2003)Business Process Management: A Comprehensive Survey (2013)Interorganizational workflows: An approach based on message sequence charts and petri nets (1999)Petri net-based modelling of workflow systems: An overview (2001)Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management (2004)Formalisations and applications of BPMN (2009)Modeling and Verification for Cross-Department Collaborative Business Processes Using Extended Petri Nets (2014)A multi-agent optimization algorithm for resource constrained project scheduling problem (2015)
this work references cited by second hop

References

  • 1995An overview of workflow management: From process modeling to workflow automation infrastructure1,530 cited
  • 1998Modeling and Analysis of Workflows Using Petri Nets299 cited
  • 1998Three Good Reasons for Using a Petri-Net-Based Workflow Management System293 cited
  • 2004Data flow and validation in workflow modelling173 cited
  • 2004Performance modeling and analysis of workflow155 cited
  • 2003Timing constraint workflow nets for workflow analysis114 cited
  • 2002Time Petri nets for workflow modelling and analysis96 cited
  • 2003Resource constraints analysis of workflow specifications81 cited
  • 2004Generalised Soundness of Workflow Nets Is Decidable65 cited
  • 1997On Correctness Issues in Conceptual Modelling of Workflows.64 cited
  • 2005Soundness of Resource-Constrained Workflow Nets42 cited
  • 2005Analysis of resource-constrained processes with colored petri nets30 cited
  • 2005Structural soundness of workflow nets is decidable29 cited
  • 2007Workflow Soundness Verification Based on Structure Theory of Petri Nets28 cited
  • 2010Uniform verification of workflow soundness24 cited

Cited by

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

  • 2012Soundness for Resource-Constrained Workflow Nets Is Decidable14 cited