SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Specification and Verification of Complex Business Processes - A High-Level Petri Net-Based Approach
9 references·6 citing·41 second hop
Specification and Verification of Complex Business Processes - A High-Level Petri Net-Based Approach (2015)Specification and Verification of Complex…Business Process Model and Notation—BPMN (2014)Business Process Model and No…Semantics and analysis of business process models in BPMN (2008)Semantics and analysis of bus…Formal Semantics of BPMN Process Models Using YAWL (2008)Formal Semantics of BPMN Proc…BPMN-based business process model feasibility analysis: a petri net approach (2008)BPMN-based business process m…A Survey of Formal Verification for Business Process Modeling (2008)A Survey of Formal Verificati…Workflow control-flow patterns : a revised view (2006)Workflow control-flow pattern…WofBPEL: A Tool for Automated Analysis of BPEL Processes (2005)WofBPEL: A Tool for Automated…YAWL: yet another workflow language (2004)YAWL: yet another workflow la…Woflan 2.0 A Petri-Net-Based Workflow Diagnosis Tool (2000)Woflan 2.0 A Petri-Net-Based …A First-Order Logic verification framework for communication-parametric and time-aware BPMN collaborations (2021)A First-Order Logic verificat…Efficient conditional compliance checking of business process models (2019)Efficient conditional complia…Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT (2018)Symbolic Specification and Ve…A practical data-flow verification scheme for business processes (2018)A practical data-flow verific…Generating event logs for high-level process models (2017)Generating event logs for hig…A Formal Model for Compliance Verification of Service Compositions (2016)A Formal Model for Compliance…Design Patterns: Elements of Reusable Object-Oriented Software (1994)Analysis patterns: reusable objects models (1996)Proceedings of the 2002 Winter Simulation Conference (2002)Process Flexibility: A Survey of Contemporary Approaches (2008)Enabling Flexibility in Process-Aware Information Systems (2012)The new science of management decision. (1960)The New Science of Management Decision (1978)Transforming BPEL to Petri Nets (2005)Formal verification of business processes with temporal and resource constraints (2011)Formal verification of complex business processes based on high-level Petri nets (2017)A formal approach to modeling and verification of business process collaborations (2018)Verification of workflow nets (1997)THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)Diagnosing Workflow Processes using Woflan (2001)Analyzing BPEL processes using Petri nets (2005)Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Relaxed Soundness and Invariants (2007)Business Process Management: A Survey (2003)Workflow Patterns (2003)Business Process Management: A Comprehensive Survey (2013)How information gives you competitive advantage (1985)ARIS — Business Process Modeling (2000)Business process management: profiting from process (2001)A dynamic task assignment approach based on individual worklists for minimizing the cycle time of business processes (2015)Transformation of the BPMN Design Model into a Colored Petri Net Using the Partitioning Approach (2018)Hierarchical Verification for the BPMN Design Model Using State Space Analysis (2019)Fundamentals of control flow in workflows (2003)Automated Certification for Compliant Cloud-based Business Processes (2011)Business Process Modeling Notation (BPMN), Version 1.0 (2004)A Process Semantics for BPMN (2008)Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways (2011)Discovering high-level BPMN process models from event data (2018)The ProM Framework: A New Era in Process Mining Tool Support (2005)Efficient Compliance Checking Using BPMN-Q and Temporal Logic (2008)Opportunities and constraints: the current struggle with BPMN (2010)Similarity of business process models: Metrics and evaluation (2010)Change patterns and change support features – Enhancing flexibility in process-aware information systems (2008)Variability in business processes: Automatically obtaining a generic specification (2018)Cross-Instance Regulatory Compliance Checking of Business Process Event Logs (2023)A new paradigm for the continuous alignment of business and IT: Combining enterprise architecture modelling and enterprise ontology (2015)Conformance checking based on multi-perspective declarative process models (2016)Enterprise information systems state of the art: Past, present and future trends (2016)
this work references cited by second hop

References

  • 2004YAWL: yet another workflow language1,413 cited
  • 2014Business Process Model and Notation—BPMN972 cited
  • 2008Semantics and analysis of business process models in BPMN727 cited
  • 2006Workflow control-flow patterns : a revised view517 cited
  • 2008A Survey of Formal Verification for Business Process Modeling113 cited
  • 2005WofBPEL: A Tool for Automated Analysis of BPEL Processes103 cited
  • 2000Woflan 2.0 A Petri-Net-Based Workflow Diagnosis Tool80 cited
  • 2008BPMN-based business process model feasibility analysis: a petri net approach42 cited
  • 2008Formal Semantics of BPMN Process Models Using YAWL38 cited

Cited by

  • 2016A Formal Model for Compliance Verification of Service Compositions26 cited
  • 2017Generating event logs for high-level process models26 cited
  • 2018Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT16 cited
  • 2019Efficient conditional compliance checking of business process models13 cited
  • 2018A practical data-flow verification scheme for business processes13 cited
  • 2021A First-Order Logic verification framework for communication-parametric and time-aware BPMN collaborations

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

13 cited