Karsten Wolf @ Carl Adam Petri Memorial Symposium

Pragmatic model checking: from theory to implementations

Where did I go wrong? Explaining errors in process models

Compliance by Design for Artifact-Centric Business Processes

Internal Behavior Reduction for Services

The Petri Net API - A collection of Petri net-related functions

Optimised Calculation of Symmetries for State Space Reduction

Decidability Issues for Decentralized Controllability of Open Nets

Analyzing Web Service Behavior

Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis

Siphon

Wendy: a tool to synthesize partners for services

Demonstration of BPEL2oWFN and Fiona

Ws4 dsec talk @ Kickoff RS3

Managing test suites for services

A Feature-Complete Petri Net A Feature-Complete Petri Net Semantics for WS-BPEL 2.0

Tools4BPEL Tutorial

service-technology.org — A tool family for correctbusiness processes and services

Implementation of an Interleaving Semantics for TLDA

Analyzing Interacting BPEL Processes - An Overview of the Chair’s Work