Metody analýzy objektově orientovaných Petriho sítí : zkrácená verze Ph.D. Thesis = Analysis methods of object oriented Petri nets / Bohuslav Křena.  V Brně : Vysoké učení technické v Brně, 2004. 23 s.il. ;. ISBN 80-214-2797-3- C 317.653
Umístění: