Petri Net Synthesis from Labelled Transition Systems and from Languages.
Éric BadouelPublished in: VECoS (2016)
Keyphrases
- petri net
- transition systems
- concurrent systems
- reactive systems
- petri net model
- model checking
- temporal logic
- service composition
- stochastic petri net
- fuzzy petri net
- colored petri nets
- ims ld
- process model
- finite state
- web service composition
- production system
- control flow
- distributed systems
- software engineering
- dynamic programming
- decision making
- artificial intelligence
- machine learning