Designing Petri Net Supervisors from LTL Specifications.
Bruno LacerdaPedro U. LimaPublished in: Robotics: Science and Systems (2011)
Keyphrases
- petri net
- bounded model checking
- concurrent systems
- transition systems
- reactive systems
- petri net model
- embedded real time systems
- model checking
- manufacturing systems
- web service composition
- discrete event systems
- temporal logic
- high level petri nets
- linear temporal logic
- fuzzy petri net
- colored petri nets
- service composition
- formal verification
- process model
- stochastic petri net
- formal specification
- story generation
- learning experience
- learning process