SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs
8 references·0 citing·27 second hop
Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs (2012)Checking Soundness of Business Processes …Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes (2011)Symbolic abstraction and dead…Workflow Model Compositions Preserving Relaxed Soundness (2006)Workflow Model Compositions P…Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach (2003)Soundness and Separability of…Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control? (2003)Inheritance of Interorganizat…Relaxed Soundness of Business Processes (2001)Relaxed Soundness of Business…Loosely coupled interorganizational workflows: (2000)Loosely coupled interorganiza…THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)THE APPLICATION OF PETRI NETS…Verification of workflow nets (1997)Verification of workflow netsWorkflow Management: Models, Methods, and Systems (2001)Workflow Management (2002)Formalization and verification of event-driven process chains (1999)Verification of EPCs: Using Reduction Rules and Petri Nets (2005)Detection and Prediction of Errors in EPC Business Process Models. (2007)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)CrossFlow: Cross-Organizational Workflow Management in Dynamic Virtual Enterprises (2000)Semantics and analysis of business process models in BPMN (2008)Compliance checking of integrated business processes (2013)Das Forschungsfeld „Modellierung betrieblicher Informationssysteme“ (2014)Electronic markets and electronic hierarchies (1987)Frontiers of Electronic Commerce (1996)Soundness preservation in composed logical time workflow nets (2011)Contracts for cross-organizational workflows as timed Dynamic Condition Response Graphs (2013)eContractual choreography-language properties towards cross-organizational business collaboration (2015)Workflow Management: Modeling Concepts, Architecture and Implementation (1996)Research Commentary: Transformational Issues in Researching IS and Net-Enabled Organizations (2001)Research Commentary: Workflow Management Issues in e-Business (2002)XML–Based Schema Definition for Support of Interorganizational Workflow (2003)Workflow Patterns (2003)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)
this work references cited by second hop

References

  • 1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT2,706 cited
  • 1997Verification of workflow nets802 cited
  • 2000Loosely coupled interorganizational workflows:279 cited
  • 2001Relaxed Soundness of Business Processes137 cited
  • 2003Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach117 cited
  • 2003Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control?75 cited
  • 2011Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes19 cited
  • 2006Workflow Model Compositions Preserving Relaxed Soundness19 cited

Cited by

No citing works inside the corpus for this window.

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