Enriching the formalism of coloured Petri nets for modelling alternative structural configurations of a discrete event system: disjunctive CPN.
Juan Ignacio Latorre BielMercedes Pérez de la ParteEmilio Jiménez MacíasPublished in: Int. J. Simul. Process. Model. (2017)
Keyphrases
- coloured petri nets
- discrete event
- dynamic systems
- simulation model
- formal verification
- discrete event simulation
- hybrid systems
- crisis response
- mathematical modeling
- discrete event systems
- supervisory control
- multiple faults
- manufacturing process
- dynamical systems
- structural information
- complex systems
- model based diagnosis
- knowledge representation
- databases