SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
A First-Order Logic verification framework for communication-parametric and time-aware BPMN collaborations
16 references·0 citing·40 second hop
A First-Order Logic verification framework for communication-parametric and time-aware BPMN collaborations (2021)A First-Order Logic verification framewor…Stochastic analysis of BPMN with time in rewriting logic (2018)Stochastic analysis of BPMN w…Fundamentals of Business Process Management (2018)Fundamentals of Business Proc…A formal approach to modeling and verification of business process collaborations (2018)A formal approach to modeling…Formal verification of complex business processes based on high-level Petri nets (2017)Formal verification of comple…The Things of the Internet of Things in BPMN (2015)The Things of the Internet of…A visual token-based formalization of BPMN 2.0 based on in-place transformations (2012)A visual token-based formaliz…Soundness of workflow nets: classification, decidability, and analysis (2010)Soundness of workflow nets: c…Instantaneous Soundness Checking of Industrial Business Process Models (2009)Instantaneous Soundness Check…Formalisations and applications of BPMN (2009)Formalisations and applicatio…A Relative Timed Semantics for BPMN (2009)A Relative Timed Semantics fo…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…Business Process Modeling Notation (2008)Business Process Modeling Not…A Process Semantics for BPMN (2008)A Process Semantics for BPMNFormal semantics and automated analysis of BPMN process models (2007)Formal semantics and automate…Verification of workflow nets (1997)Verification of workflow netsThe first 25 years. (1973)Business Process Modeling Notation (BPMN), Version 1.0 (2004)Petri Net Transformations for Business Processes – A Survey (2009)An ontology for the Business Process Modelling Notation (2014)BPMN 2.0: The state of support and implementation (2017)THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT (1998)Diagnosing Workflow Processes using Woflan (2001)The refined process structure tree (2009)Diagnosing and Repairing Data Anomalies in Process Models (2010)Simplified Computation and Generalization of the Refined Process Structure Tree (2011)A Decade of Business Process Management Conferences: Personal Reflections on a Developing Discipline (2012)Scientific workflow management and the Kepler system (2005)A formal approach for the analysis of BPMN collaboration models (2021)Workflow Patterns (2003)Business Process Management : Concepts, Languages, Architectures (2007)Business Process Variability Modeling (2017)Split miner: automated discovery of accurate and simple business process models from event logs (2018)Object-Centric Process Mining: Dealing with Divergence and Convergence in Event Data (2019)YAWL: yet another workflow language (2004)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)Transforming BPEL to Petri Nets (2005)Interaction Modeling Using BPMN (2008)BPMN 2.0 for Modeling Business Processes (2014)Bpmn Method And Style (2009)Internet of Things-Aware Process Modeling: Integrating IoT Devices as Business Process Resources (2013)BPMN4CPS: A BPMN Extension for Modeling Cyber-Physical Systems (2016)Toward a framework for self-adaptive workflows in cyber-physical systems (2017)IoT meets BPM: a bidirectional communication architecture for IoT-aware process execution (2020)The Six Core Elements of Business Process Management (2010)Outcome-Oriented Predictive Process Monitoring (2019)Strategy archetypes for digital transformation: Defining meta objectives using business process management (2020)Business process management (BPM) standards: a survey (2009)Business process management with the user requirements notation (2009)Business process modeling languages (2010)Formalization and verification of event-driven process chains (1999)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

  • 2018Fundamentals of Business Process Management1,831 cited
  • 1997Verification of workflow nets802 cited
  • 2008Semantics and analysis of business process models in BPMN727 cited
  • 2008Business Process Modeling Notation430 cited
  • 2010Soundness of workflow nets: classification, decidability, and analysis372 cited
  • 2008A Process Semantics for BPMN178 cited
  • 2009Instantaneous Soundness Checking of Industrial Business Process Models143 cited
  • 2007Formal semantics and automated analysis of BPMN process models83 cited
  • 2009Formalisations and applications of BPMN78 cited
  • 2015The Things of the Internet of Things in BPMN74 cited
  • 2017Formal verification of complex business processes based on high-level Petri nets73 cited
  • 2009A Relative Timed Semantics for BPMN56 cited
  • 2018A formal approach to modeling and verification of business process collaborations50 cited
  • 2012A visual token-based formalization of BPMN 2.0 based on in-place transformations44 cited
  • 2018Stochastic analysis of BPMN with time in rewriting logic43 cited
  • 2008Formal Semantics of BPMN Process Models Using YAWL

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

38 cited

Cited by

No citing works inside the corpus for this window.