Modelling of AS/RS using hierarchical and timed coloured Petri nets.

Erik Kucera Branislav Hrúz

Published in: RAAD (2014)

Keyphrases

coloured petri nets
petri net
formal verification
hierarchical structure
hierarchical classification
hierarchical model
databases
neural network
machine learning
genetic algorithm
artificial intelligence
data structure
coarse to fine
hierarchical representation