Business Process Management (BPM) research resulted in a plethora of methods,
techniques, and tools to support the design, enactment, management, and analysis of …

Eric Badouel · Luca Bernardinello Philippe Darondeau Page 1 Texts in Theoretical Computer
Science An EATCS Series Petri Net Synthesis Eric Badouel · Luca Bernardinello Philippe …

Processes are a key application area for formal models of concurrency. The core concepts of
Petri nets have been adopted in research and industrial practice to describe and analyze the …

Abstract In Process-Aware Information Systems, business processes are often modeled in
an explicit way. Roughly speaking, the available business process modeling languages can …

We present an extension of a Petri net semantics for the Web Service Business Execution
Language (WS-BPEL). This extension covers the novel activities and constructs introduced …

To implement an interorganizational process between different enterprizes, one needs to
agree on the 'rules of engagement'. These can be specified in terms of a contract that …

As systems become more service oriented and processes increasingly cross organizational
boundaries, interaction becomes more important. New technologies support the …

We address the problem of analyzing the interaction between WS-BPEL processes. We
present a technology chain that starts out with a WS-BPEL process and translates it into a …

Controllability for service models is a similar criterion as soundness for workflow models: it
establishes a necessary condition for correct behavior of a given service model. Technically …

Business process modeling has become a standard activity in many organizations. We start
with going back into the history and explain why this activity appeared and became of such …