Efficient Representations of Alternative Models of Discrete Event Systems Based on Petri Nets.
Juan Ignacio LatorreEmilio Jiménez MacíasMercedes PérezPublished in: UKSim (2011)
Keyphrases
- discrete event systems
- petri net
- complex systems
- stochastic petri net
- timed petri nets
- petri net model
- process model
- manufacturing systems
- telecommunication networks
- model based diagnosis
- discrete event
- reactive systems
- service composition
- temporal constraints
- state machines
- embedded real time systems
- fuzzy petri net
- concurrent systems
- colored petri nets
- constraint satisfaction