A Petri Net Method for Compatibility Enforcement to Support Service Choreography

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%