Bounded Petri Net Synthesis from Modal Transition Systems is Undecidable.
Uli SchlachterPublished in: CONCUR (2016)
Keyphrases
- petri net
- transition systems
- concurrent systems
- reactive systems
- petri net model
- model checking
- sufficient conditions
- temporal logic
- process model
- web service composition
- stochastic petri net
- colored petri nets
- finite state
- control flow
- fuzzy petri net
- artificial intelligence
- service composition
- reinforcement learning
- ims ld
- practical reasoning
- formal specification