×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
universitaet-rostock documents
Documents
Karsten Wolf @ Carl Adam Petri Memorial Symposium
Education
Pragmatic model checking: from theory to implementations
Education
Where did I go wrong? Explaining errors in process models
Education
Compliance by Design for Artifact-Centric Business Processes
Education
Internal Behavior Reduction for Services
Education
The Petri Net API - A collection of Petri net-related functions
Education
Optimised Calculation of Symmetries for State Space Reduction
Education
Decidability Issues for Decentralized Controllability of Open Nets
Education
Analyzing Web Service Behavior
Education
Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis
Technology
Siphon
Documents
Wendy: a tool to synthesize partners for services
Education
Demonstration of BPEL2oWFN and Fiona
Technology
Ws4 dsec talk @ Kickoff RS3
Business
Managing test suites for services
Documents
A Feature-Complete Petri Net A Feature-Complete Petri Net Semantics for WS-BPEL 2.0
Education
Tools4BPEL Tutorial
Education
service-technology.org — A tool family for correctbusiness processes and services
Education
Implementation of an Interleaving Semantics for TLDA
Education
Analyzing Interacting BPEL Processes - An Overview of the Chair’s Work
Education
Decidability Results for Choreography Realization
Next >