k-Bounded Petri Net Synthesis from Modal Transition Systems.
Uli SchlachterHarro WimmelPublished in: CONCUR (2017)
Keyphrases
- petri net
- transition systems
- concurrent systems
- reactive systems
- petri net model
- model checking
- service composition
- temporal logic
- web service composition
- control flow
- finite state
- colored petri nets
- ims ld
- stochastic petri net
- process model
- fuzzy petri net
- dynamic programming
- practical reasoning
- knowledge representation