Parallel controller synthesis from a Petri net specification.
Krzysztof BilinskiErik L. DaglessJonathan M. SaulMarian AdamskiPublished in: EURO-DAC (1994)
Keyphrases
- petri net
- colored petri nets
- controller synthesis
- reactive systems
- petri net model
- autonomic computing systems
- manufacturing systems
- web service composition
- fuzzy petri net
- stochastic petri net
- concurrent systems
- artificial intelligence
- neural network
- real time
- formal specification
- control system
- story generation
- multi agent