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
Reachability Analysis via Net Structure
Analyzing Interacting BPEL Processes - A Tool Demo
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
Modellierung eines verteilten Algorithmus
Testfallgenerierung fuer interagierende Services
Managing test suites for services
A Feature-Complete Petri Net A Feature-Complete Petri Net Semantics for WS-BPEL 2.0