×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents of universitaet-rostock
Karsten Wolf @ Carl Adam Petri Memorial Symposium
1.310 views
Pragmatic model checking: from theory to implementations
287 views
Where did I go wrong? Explaining errors in process models
232 views
Compliance by Design for Artifact-Centric Business Processes
735 views
Internal Behavior Reduction for Services
1.340 views
The Petri Net API - A collection of Petri net-related functions
1.768 views
Reachability Analysis via Net Structure
917 views
Analyzing Interacting BPEL Processes - A Tool Demo
860 views
Optimised Calculation of Symmetries for State Space Reduction
847 views
Decidability Issues for Decentralized Controllability of Open Nets
741 views
Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis
1.070 views
Siphon
2.044 views
Wendy: a tool to synthesize partners for services
1.053 views
Demonstration of BPEL2oWFN and Fiona
618 views
Ws4 dsec talk @ Kickoff RS3
1.303 views
Managing test suites for services
733 views
A Feature-Complete Petri Net A Feature-Complete Petri Net Semantics for WS-BPEL 2.0
1.124 views
Tools4BPEL Tutorial
682 views
service-technology.org — A tool family for correctbusiness processes and services
542 views
Decidability Results for Choreography Realization
636 views
Next >