Designing petri net supervisors for multi-agent systems from LTL specifications.
Bruno LacerdaPedro U. LimaPublished in: AAMAS (2011)
Keyphrases
- petri net
- multi agent systems
- bounded model checking
- concurrent systems
- contract net protocol
- transition systems
- reactive systems
- discrete event systems
- embedded real time systems
- model checking
- petri net model
- multi agent
- manufacturing systems
- fuzzy petri net
- service composition
- colored petri nets
- stochastic petri net
- formal verification
- web service composition
- high level petri nets
- ims ld
- temporal logic
- linear temporal logic
- formal specification
- story generation
- process model
- linear time temporal logic
- distributed systems
- cooperative