Synthesis of Behavioral Controllers for Discrete Event Systems with Augmented Petri Net Models.
Kai BolluePublished in: AlgoSyn (2010)
Keyphrases
- petri net
- discrete event systems
- stochastic petri net
- complex systems
- process model
- timed petri nets
- manufacturing systems
- ims ld
- fuzzy petri net
- web service composition
- model based diagnosis
- petri net model
- colored petri nets
- data analysis
- controller synthesis
- concurrent systems
- reactive systems
- service composition
- story generation
- sensor networks
- telecommunication networks
- discrete event
- knowledge based systems
- control system
- cloud computing
- multi agent
- temporal constraints
- multi agent systems
- cooperative