SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
Transformation of BPMN Diagrams to YAWL Nets
13 references·1 citing·37 second hop
Transformation of BPMN Diagrams to YAWL Nets (2010)Transformation of BPMN Diagrams to YAWL N…Transforming BPMN Diagrams into YAWL Nets (2008)Transforming BPMN Diagrams in…Pattern-Based Translation of BPMN Process Models to BPEL Web Services (2008)Pattern-Based Translation of …A Process Semantics for BPMN (2008)A Process Semantics for BPMNSemantics of Standard Process Models with OR-Joins (2007)Semantics of Standard Process…Formal semantics and automated analysis of BPMN process models (2007)Formal semantics and automate…Translating Standard Process Models to BPEL (2006)Translating Standard Process …Transformation of yEPC business process models to YAWL (2006)Transformation of yEPC busine…From BPMN Process Models to BPEL Web Services (2006)From BPMN Process Models to B…Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets (2005)Achieving a General, Formal a…YAWL: yet another workflow language (2004)YAWL: yet another workflow la…Business Process Modeling Notation (BPMN), Version 1.0 (2004)Business Process Modeling Not…Workflow Patterns (2003)Workflow PatternsWoflan 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…Process instantiation (2009)Structuredness and its significance for correctness of process models (2009)On Structured Workflow Modelling (2013)Normative requirements for regulatory compliance: An abstract formal framework (2015)The first 25 years. (1973)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)A Method for Verifiable and Validatable Business Process Modeling (2008)BPEL to BPMN: The Myth of a Straight-Forward Mapping (2008)The Difference Between Graph-Based and Block-Structured Business Process Modelling Languages (2015)Verification of workflow nets (1997)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)Formal verification of complex business processes based on high-level Petri nets (2017)Design Patterns: Elements of Reusable Object-Oriented Software (1994)Business Process Management: A Survey (2003)Semantics and analysis of business process models in BPMN (2008)Business Process Management: A Comprehensive Survey (2013)Transforming BPEL to Petri Nets (2005)BPMN Modeling - Who, Where, How and Why (2008)Continued use of process modeling grammars: the impact of individual difference factors (2010)How Much Language Is Enough? Theoretical and Practical Use of the Business Process Modeling Notation (2013)The ProM Framework: A New Era in Process Mining Tool Support (2005)Interaction Modeling Using BPMN (2008)Formalisations and applications of BPMN (2009)BPMN 2.0 for Modeling Business Processes (2014)An overview of workflow management: From process modeling to workflow automation infrastructure (1995)Scientific workflow management and the Kepler system (2005)From business process models to process-oriented software systems (2009)Structuring Acyclic Process Models (2010)Model repair — aligning process models to reality (2014)On the Suitability of BPMN for Business Process Modelling (2006)A BPMN Extension for the Modeling of Security Requirements in Business Processes (2007)Business process management (BPM) standards: a survey (2009)
this work references cited by second hop

References

  • 2003Workflow Patterns2,613 cited
  • 2004YAWL: yet another workflow language1,413 cited
  • 2004Business Process Modeling Notation (BPMN), Version 1.0472 cited
  • 2006From BPMN Process Models to BPEL Web Services209 cited
  • 2008A Process Semantics for BPMN178 cited
  • 2008Pattern-Based Translation of BPMN Process Models to BPEL Web Services155 cited
  • 2006Translating Standard Process Models to BPEL106 cited
  • 2007Formal semantics and automated analysis of BPMN process models83 cited
  • 2000Woflan 2.0 A Petri-Net-Based Workflow Diagnosis Tool80 cited
  • 2005Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets66 cited
  • 2008Transforming BPMN Diagrams into YAWL Nets56 cited
  • 2007Semantics of Standard Process Models with OR-Joins42 cited
  • 2006Transformation of yEPC business process models to YAWL23 cited

Cited by

  • 2021A First-Order Logic verification framework for communication-parametric and time-aware BPMN collaborations13 cited

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