Modellvalidierung von zeitbegrenzten logistischen Prozessketten mit Interval Timed Coloured Petri Nets.
Sebastian VastagPublished in: GI Jahrestagung (2009)
Keyphrases
- coloured petri nets
- formal verification
- petri net
- test set
- type fuzzy logic systems
- timed automata
- data sets
- massachusetts institute of technology
- feature space
- database
- reinforcement learning
- multiscale
- relational databases
- fuzzy logic
- bayesian networks
- similarity measure
- discrete event
- website
- artificial intelligence
- interval analysis
- information retrieval
- neural network