Verification of Petri Nets based Simulation Models using Coverage Metrics.
Markus RabeMaik DeiningerAnne Antonia ScheidlerPublished in: SIGSIM-PADS (2015)
Keyphrases
- petri net
- simulation models
- petri net model
- colored petri nets
- concurrent systems
- simulation model
- agent based simulation
- discrete event systems
- simulation tools
- manufacturing systems
- ims ld
- service composition
- model checking
- discrete dynamical systems
- fuzzy petri net
- programmable logic controller
- discrete event
- learning process
- sequence diagrams
- air cargo
- stochastic petri net