Keyphrases
Support Services
100%
Petri Nets
100%
Service Choreography
100%
Compatibility Enforcement
100%
Reachability Graph
75%
Deadlock
50%
Optimal Controller
50%
Abnormity
50%
Iterative Process
25%
Online Services
25%
Service-oriented
25%
Control Policy
25%
Administrators
25%
Reachability Analysis
25%
Maximally Permissive
25%
Service Composition
25%
Adaptor
25%
State-of-the-art Techniques
25%
Deadlock-freeness
25%
Deadlock State
25%
Most Important Problem
25%
Service Workflow
25%
Workflow Net
25%
Structure Analysis
25%
Prevention Strategies
25%
Description Language
25%
Collaboration Service
25%
State Feedback Control
25%
Internet Scale
25%
Non-local Choice
25%
Computer Science
Petri Net
100%
Reachability Graph
100%
Deadlock
100%
Iterative Process
33%
Feedback Control
33%
Web Service
33%
Reachability Analysis
33%
Service Composition
33%
Deadlock State
33%
State Feedback
33%