SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants
16 references·16 citing·32 second hopsampled
Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants (2007)Verifying Workflows with Cancellation Reg…WofBPEL: A Tool for Automated Analysis of BPEL Processes (2005)WofBPEL: A Tool for Automated…On the semantics of EPCs: Resolving the vicious circle (2005)On the semantics of EPCs: Res…YAWL: yet another workflow language (2004)YAWL: yet another workflow la…On the Semantics of EPCs: A Framework for Resolving the Vicious Circle (2004)On the Semantics of EPCs: A F…BRIDGING THE GAP BETWEEN BUSINESS MODELS AND WORKFLOW SPECIFICATIONS (2004)BRIDGING THE GAP BETWEEN BUSI…Applying Propositional Logic to Workflow Verification (2004)Applying Propositional Logic …On the semantics of EPCs: A vicious circle (2002)On the semantics of EPCs: A v…An Alternative Way to Analyze Workflow Graphs (2002)An Alternative Way to Analyze…Diagnosing Workflow Processes using Woflan (2001)Diagnosing Workflow Processes…Analyzing process models using graph reduction techniques (2000)Analyzing process models usin…Advanced Workflow Patterns (2000)Advanced Workflow PatternsApplying Graph Reduction Techniques for Identifying Structural Conflicts in Process Models (1999)Applying Graph Reduction Tech…Verification problems in conceptual workflow specifications (1998)Verification problems in conc…THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)THE APPLICATION OF PETRI NETS…Verification of workflow nets (1997)Verification of workflow netsSap R/3 Business Blueprint: Understanding the Business Process Reference Model (1997)Sap R/3 Business Blueprint: U…Process Model Comprehension: The Effects of Cognitive Abilities, Learning Style, and Strategy (2014)Process Model Comprehension: …Empirical investigation of the usefulness of Gateway constructs in process models (2012)Empirical investigation of th…A study on the effects of routing symbol design on process model comprehension (2012)A study on the effects of rou…The Effects of Content Presentation Format and User Characteristics on Novice Developers’ Understanding of Process Models (2011)The Effects of Content Presen…An Exploratory Study of IT-Enabled Collaborative Process Modeling (2011)An Exploratory Study of IT-En…On the Cognitive Effectiveness of Routing Symbols in Process Modeling Languages (2010)On the Cognitive Effectivenes…How to Implement a Theory of Correctness in the Area of Business Processes and Services (2010)How to Implement a Theory of …Soundness of Workflow Nets with Reset Arcs (2009)Soundness of Workflow Nets wi…Reduction rules for YAWL workflows with cancellation regions and OR-joins (2009)Reduction rules for YAWL work…Empirical Studies in Process Model Verification (2009)Empirical Studies in Process …Comparing and evaluating Petri net semantics for BPEL (2009)Comparing and evaluating Petr…Understanding Quality in Process Modelling: Towards a Holistic Perspective (2007)Understanding Quality in Proc…Extending Representational Analysis: BPMN User and Developer Perspectives (2007)Extending Representational An…A Socio-Pragmatic Constructionist Framework for Understanding Quality in Process Modelling (2007)A Socio-Pragmatic Constructio…Verifying Workflows with Cancellation Regions and OR-Joins: An Approach Based on Reset Nets and Reachability Analysis (2006)Verifying Workflows with Canc…A quantitative analysis of faulty EPCs in the SAP reference model (2006)A quantitative analysis of fa…Design Patterns: Elements of Reusable Object-Oriented Software (1994)An overview of workflow management: From process modeling to workflow automation infrastructure (1995)Petri net-based modelling of workflow systems: An overview (2001)UML Activity Diagrams as a Workflow Specification Language (2001)Specification and validation of process constraints for flexible workflows (2004)Managing business processes as an information resource (1994)Workflow Patterns (2003)Detection and Prediction of Errors in EPC Business Process Models. (2007)Preserving correctness during business process model configuration (2009)Business process model abstraction: a definition, catalog, and survey (2012)Formalization and verification of event-driven process chains (1999)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)Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control (1998)Business Process Analysis and Optimization: Beyond Reengineering (2007)The refined process structure tree (2009)Soundness of workflow nets: classification, decidability, and analysis (2010)Detection and prediction of errors in EPCs of the SAP reference model (2007)CONFIGURABLE WORKFLOW MODELS (2008)APROMORE: An advanced process model repository (2010)Business Process Management: A Survey (2003)Semantics and analysis of business process models in BPMN (2008)Business Process Management: A Comprehensive Survey (2013)Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management (2004)Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition (2007)The P2P Approach to Interorganizational Workflows (2013)Workflow mining: discovering process models from event logs (2004)Instantaneous Soundness Checking of Industrial Business Process Models (2009)Analysis on demand: Instantaneous soundness checking of industrial business process models (2011)Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL (2011)Inheritance of workflows: an approach to tackling problems related to change (2002)
this work references cited by second hop· second hop is a sample of the most-cited connections

References

  • 1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT2,706 cited
  • 2004YAWL: yet another workflow language1,413 cited
  • 1997Verification of workflow nets802 cited
  • 2000Analyzing process models using graph reduction techniques452 cited
  • 2000Advanced Workflow Patterns343 cited
  • 2001Diagnosing Workflow Processes using Woflan317 cited
  • 1997Sap R/3 Business Blueprint: Understanding the Business Process Reference Model240 cited
  • 2002An Alternative Way to Analyze Workflow Graphs168 cited
  • 2004BRIDGING THE GAP BETWEEN BUSINESS MODELS AND WORKFLOW SPECIFICATIONS162 cited
  • 2005On the semantics of EPCs: Resolving the vicious circle150 cited
  • 2004On the Semantics of EPCs: A Framework for Resolving the Vicious Circle111 cited
  • 2002On the semantics of EPCs: A vicious circle109 cited
  • 1999Applying Graph Reduction Techniques for Identifying Structural Conflicts in Process Models103 cited
  • 2005WofBPEL: A Tool for Automated Analysis of BPEL Processes103 cited
  • 1998Verification problems in conceptual workflow specifications91 cited
  • 2004Applying Propositional Logic to Workflow Verification

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

89 cited

Cited by

  • 2009Empirical Studies in Process Model Verification64 cited
  • 2011The Effects of Content Presentation Format and User Characteristics on Novice Developers’ Understanding of Process Models61 cited
  • 2014Process Model Comprehension: The Effects of Cognitive Abilities, Learning Style, and Strategy60 cited
  • 2012A study on the effects of routing symbol design on process model comprehension52 cited
  • 2012Empirical investigation of the usefulness of Gateway constructs in process models44 cited
  • 2009Comparing and evaluating Petri net semantics for BPEL41 cited
  • 2009Reduction rules for YAWL workflows with cancellation regions and OR-joins37 cited
  • 2006A quantitative analysis of faulty EPCs in the SAP reference model34 cited
  • 2010On the Cognitive Effectiveness of Routing Symbols in Process Modeling Languages31 cited
  • 2006Verifying Workflows with Cancellation Regions and OR-Joins: An Approach Based on Reset Nets and Reachability Analysis28 cited
  • 2011An Exploratory Study of IT-Enabled Collaborative Process Modeling28 cited
  • 2007A Socio-Pragmatic Constructionist Framework for Understanding Quality in Process Modelling27 cited
  • 2007Understanding Quality in Process Modelling: Towards a Holistic Perspective25 cited
  • 2007Extending Representational Analysis: BPMN User and Developer Perspectives19 cited
  • 2010How to Implement a Theory of Correctness in the Area of Business Processes and Services18 cited
  • 2009Soundness of Workflow Nets with Reset Arcs15 cited