Reversibility-Aware Step Graphs for State Space Reduction and Reversibility Checking in Concurrent Systems

Keyphrases

• Petri Nets 100%
• Space Reduction 100%
• Reachability Graph 50%
• Deadlock 50%
• High-score 50%
• Concurrent Systems 50%
• State Space Explosion 50%
• External Intervention 50%
• Partial Order Techniques 50%
• Asynchronous Methods 50%

Computer Science

• Petri Net 100%
• State Space 50%
• Reachability Graph 50%
• Deadlock 50%
• Initial Marking 50%
• Concurrent System 50%
• Partial Order Method 50%