A Toolchain for Simulation Component Specification and Identification.
Sandro KochFrederik ReichePublished in: ECSA (Tracks and Workshops) (2022)
Keyphrases
- code generation
- conceptual model
- colored petri nets
- analytical model
- simulation environment
- data sets
- relational databases
- information systems
- petri net
- mathematical model
- user defined
- hidden markov models
- simulation study
- formal specification
- search algorithm
- formal verification
- discrete event simulation
- neural network