Comparing and evaluating Petri net semantics for BPEL

Niels Lohmann · H. M. W. Verbeek · Chun Ouyang · Christian Stahl

41 citations0/0 files storedInternational Journal of Business Process Integration and Management

No readable copy stored yet — this record is metadata only.

No open-access location is known for this record yet.

Literature note Cite in a project Citation map

Business Process Modeling and Analysis Service-Oriented Architecture and Web Services Petri Nets in System Modeling

Abstract

We compare two Petri net semantics for the Web Services Business Process Execution Language (BPEL). The comparison reveals different modelling decisions. These decisions together with their consequences are discussed. We also give an overview of the different properties that can be verified on the resulting models. A case study helps to evaluate the corresponding compilers which transform a BPEL process into a Petri net model.

Paper brief

Loading…

Cite this work

Citation unavailable for this work.

BibTeX RIS CSL-JSON

No public copy is stored for this record, so only the metadata is cited.

Citations in this library

Citation map →

Stored only when both papers are in the corpus — 41 citations exist upstream.

References

1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT 2004YAWL: yet another workflow language 2003Workflow mining: A survey of issues and approaches 2005The ProM Framework: A New Era in Process Mining Tool Support 2000Production Workflow - Concepts and Techniques 2005Genetic Process Mining 2001Diagnosing Workflow Processes using Woflan 2005Transforming BPEL to Petri Nets

Cited by

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

Explore the map →

Papers that cite the same references — the relational fallback while embeddings are still backfilling.

Imported from OpenAlex (CC0) — nothing here is generated.