A Petri Net Approach to Verify and Debug Simulation Models.
Peter KemperCarsten TepperPublished in: Simulation and Verification of Dynamic Systems (2006)
Keyphrases
- petri net
- simulation models
- simulation model
- petri net model
- agent based simulation
- discrete event systems
- simulation tools
- manufacturing systems
- fuzzy petri net
- stochastic petri net
- colored petri nets
- air cargo
- high level petri nets
- web service composition
- service composition
- process model
- neural network
- story generation