Performance analysis of processes by automated simulation of Coloured Petri nets.
Stefan KoreckoBranislav SobotaCsaba SzabóPublished in: ISDA (2010)
Keyphrases
- coloured petri nets
- electro mechanical systems
- fully automated
- simulation model
- simulation software
- formal verification
- stochastic processes
- fully automatic
- learning algorithm
- digital libraries
- multiscale
- real time
- three dimensional
- simulation environment
- high fidelity
- simulation models
- computer vision
- machine learning
- databases
- data sets