Replication, refinement & reachability: complexity in dynamic condition-response graphs

Keyphrases

• Dynamic Condition Response Graphs 100%
• Reachability 100%
• Event-based 33%
• Undecidable 33%
• Operational Semantics 33%
• NP-hard 33%
• Process-aware Information Systems 33%
• Regular Languages 33%
• Modular Specification 33%
• Liveness 33%
• Prototype Implementation 33%
• Process Language 33%
• Local Events 33%
• Declarative Process 33%

Computer Science

• Process Model 100%
• Approximation (Algorithm) 50%
• Operational Semantics 50%
• Regular Language 50%
• Liveness 50%
• Process State 50%
• Local Event 50%
• Information Systems 50%