Validation of Discrete Event Processes implemented on PLCs based on Petri Nets.
Hugo Conde BarrosoJosé António GasparPublished in: ICARSC (2021)
Keyphrases
- discrete event
- petri net
- discrete event systems
- dynamic systems
- simulation model
- process model
- discrete event simulation
- crisis response
- concurrent processes
- petri net model
- manufacturing systems
- service composition
- colored petri nets
- dynamical systems
- state machines
- supervisory control
- cellular automata
- low cost
- fuzzy petri net
- knowledge base