KB 16663
Jensen, Kurt, 1950-
Coloured petri nets : modeling and validation of concurrent systems / Kurt Jensen, Lars M. Kristensen. -- Dordrecht : Springer, c2009. -- xi, 384 s. : il., grafy ; 25 cm. -- ISBN : 978-3-642-00283-0 (váz.).
Kristensen, Lars Michael
Petriho sítě. matematické modelování. distribuované systémy. příručky
519.1. 519.6