Coupling petri nets with deterministic formalisms using co-simulation.
David P. Y. LawrenceCláudio GomesJoachim DenilHans VangheluweDidier BuchsPublished in: SpringSim (TMS-DEVS) (2016)
Keyphrases
- petri net
- colored petri nets
- petri net model
- manufacturing systems
- discrete event systems
- fuzzy petri net
- simulation model
- concurrent systems
- mathematical model
- ims ld
- programmable logic controller
- discrete dynamical systems
- state machines
- service composition
- logic programming
- knowledge representation
- discrete event
- neural network
- fuzzy logic
- concurrent processes
- data analysis
- web services