Universal Safety for Timed Petri Nets is PSPACE-complete.
Parosh Aziz AbdullaMohamed Faouzi AtigRadu CiobanuRichard MayrPatrick TotzkePublished in: CoRR (2018)
Keyphrases
- pspace complete
- timed petri nets
- np complete
- discrete event systems
- model checking
- decision problems
- satisfiability problem
- strips planning
- petri net
- model based diagnosis
- tree automata
- causal graph
- mathematical modeling
- telecommunication networks
- dynamical systems
- complex systems
- discrete event
- temporal logic
- finite state
- optimal policy
- constraint satisfaction problems
- temporal constraints
- relational databases
- data exchange
- utility function
- decision makers
- np hard