Building Insightful Simulation Models using Formal Approaches - A Case Study on Petri Nets.
Durk-Jouke van der ZeePublished in: WSC (2009)
Keyphrases
- petri net
- simulation models
- simulation model
- petri net model
- fuzzy petri net
- manufacturing systems
- process model
- rough sets
- ims ld
- discrete event systems
- reactive systems
- simulation tools
- knowledge based systems
- service composition
- agent based simulation
- state machines
- concurrent systems
- fuzzy logic
- knowledge representation