Analysing storage resources on Synchronous Dataflows using Petri net verification techniques.
José-Inácio RochaLuís GomesOctávio Páscoa DiasPublished in: IECON (2012)
Keyphrases
- petri net
- petri net model
- colored petri nets
- concurrent systems
- manufacturing systems
- discrete event systems
- service composition
- high level petri nets
- fuzzy petri net
- stochastic petri net
- model checking
- ims ld
- process model
- web service composition
- resource management
- resource allocation
- production process
- story generation
- contract net protocol
- resource consumption
- data intensive