petri net. Colour. modelling. CPN. storage. system. AS/RSKučera, Erik, 1990- Modelling and control of AS/RS using coloured petri nets / aut. Erik Kučera, Štefan Kozák, Oto Haffner. -- 000382504800001. -- 2-s2.0-84969961900. Kozák, Štefan, 1946-. Haffner, Oto, 1989- In: 2016 Cybernetics & informatics (K&I). -- CD-ROM, [248] s.. -- 978-1-5090-1834-5 International conference Cybernetics & Informatics. -- Danvers : IEEE, 2016. -- CD-ROM, [6] s.