SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Comparing and evaluating Petri net semantics for BPEL
16 references·3 citing·30 second hop
Comparing and evaluating Petri net semantics for BPEL (2009)Comparing and evaluating Petri net semant…Enterprise Modelling and Information Systems Architectures (2012)Enterprise Modelling and Info…Workflow Management: Models, Methods And Systems (2009)Workflow Management: Models, …Analyzing BPEL4Chor: Verification and Participant Synthesis (2008)Analyzing BPEL4Chor: Verifica…Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants (2007)Verifying Workflows with Canc…Analyzing interacting WS-BPEL processes using flexible model generation (2007)Analyzing interacting WS-BPEL…Analyzing Interacting BPEL Processes (2006)Analyzing Interacting BPEL Pr…WofBPEL: A Tool for Automated Analysis of BPEL Processes (2005)WofBPEL: A Tool for Automated…Transforming BPEL to Petri Nets (2005)Transforming BPEL to Petri Ne…The ProM Framework: A New Era in Process Mining Tool Support (2005)The ProM Framework: A New Era…Genetic Process Mining (2005)Genetic Process MiningYAWL: yet another workflow language (2004)YAWL: yet another workflow la…BRIDGING THE GAP BETWEEN BUSINESS MODELS AND WORKFLOW SPECIFICATIONS (2004)BRIDGING THE GAP BETWEEN BUSI…Workflow mining: A survey of issues and approaches (2003)Workflow mining: A survey of …Diagnosing Workflow Processes using Woflan (2001)Diagnosing Workflow Processes…Production Workflow - Concepts and Techniques (2000)Production Workflow - Concept…THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)THE APPLICATION OF PETRI NETS…Resource conflict detection and removal strategy for nondeterministic emergency response processes using Petri nets (2015)Resource conflict detection a…Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes (2011)Symbolic abstraction and dead…How to Implement a Theory of Correctness in the Area of Business Processes and Services (2010)How to Implement a Theory of …Design Patterns: Elements of Reusable Object-Oriented Software (1994)Business Process Management: A Survey (2003)Workflow Patterns (2003)Semantics and analysis of business process models in BPMN (2008)Business Process Management: A Comprehensive Survey (2013)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)Discovering models of software processes from event-based data (1998)Workflow mining: discovering process models from event logs (2004)Fuzzy Mining – Adaptive Process Simplification Based on Multi-perspective Metrics (2007)An overview of workflow management: From process modeling to workflow automation infrastructure (1995)Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control (1998)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)Case handling: a new paradigm for business process support (2004)Design science in information systems research (2004)Business process mining: An industrial application (2006)Pattern-Based Translation of BPMN Process Models to BPEL Web Services (2008)Petri Net Transformations for Business Processes – A Survey (2009)Model repair — aligning process models to reality (2014)Conformance checking of processes based on monitoring real behavior (2007)Mining process models with non-free-choice constructs (2007)Towards comprehensive support for organizational mining (2008)Process mining techniques and applications – A systematic mapping study (2019)Applying Patterns during Business Process Modeling (2008)Process-Aware Information Systems: Lessons to Be Learned from Process Mining (2009)Time patterns for process-aware information systems (2012)
this work references cited by second hop

References

  • 1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT2,706 cited
  • 2004YAWL: yet another workflow language1,413 cited
  • 2003Workflow mining: A survey of issues and approaches1,052 cited
  • 2005The ProM Framework: A New Era in Process Mining Tool Support929 cited
  • 2000Production Workflow - Concepts and Techniques719 cited
  • 2005Genetic Process Mining335 cited
  • 2001Diagnosing Workflow Processes using Woflan317 cited
  • 2005Transforming BPEL to Petri Nets294 cited
  • 2004BRIDGING THE GAP BETWEEN BUSINESS MODELS AND WORKFLOW SPECIFICATIONS162 cited
  • 2009Workflow Management: Models, Methods And Systems140 cited
  • 2006Analyzing Interacting BPEL Processes119 cited
  • 2012Enterprise Modelling and Information Systems Architectures111 cited
  • 2007Analyzing interacting WS-BPEL processes using flexible model generation104 cited
  • 2005WofBPEL: A Tool for Automated Analysis of BPEL Processes103 cited
  • 2007Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants70 cited
  • 2008Analyzing BPEL4Chor: Verification and Participant Synthesis

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

48 cited

Cited by

  • 2015Resource conflict detection and removal strategy for nondeterministic emergency response processes using Petri nets41 cited
  • 2011Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes19 cited
  • 2010How to Implement a Theory of Correctness in the Area of Business Processes and Services18 cited