Distinguishing Environment and System in Coloured Petri Net Models of Reactive Systems.
Simon TjellPublished in: SIES (2007)
Keyphrases
- reactive systems
- petri net
- temporal logic
- manufacturing systems
- model checking
- stochastic petri net
- information flow
- discrete event systems
- petri net model
- control flow
- web service composition
- service composition
- concurrent systems
- fuzzy petri net
- formal methods
- state machines
- story generation
- real time systems
- colored petri nets
- real time