Universal Safety for Timed Petri Nets is PSPACE-complete.
Parosh Aziz AbdullaMohamed Faouzi AtigRadu CiobanuRichard MayrPatrick TotzkePublished in: CONCUR (2018)
Keyphrases
- pspace complete
- timed petri nets
- np complete
- discrete event systems
- model checking
- satisfiability problem
- decision problems
- strips planning
- petri net
- temporal logic
- model based diagnosis
- tree automata
- mathematical modeling
- discrete event
- np hard
- causal graph
- complex systems
- coalition logic
- random walk
- logical framework
- computational complexity
- relational databases
- data model
- telecommunication networks
- multi valued
- reinforcement learning
- optimal policy