Jensen, Kurt, 1950-
Coloured Petri Nets : modelling and validation of concurrent systems / Kurt Jensen, Lars M. Kristensen. -- Berlin : Springer, c2009. -- xi, 384 s. -- ISBN : 9783642002830 (váz.).
Kristensen, Lars Michael
Petriho sítě. modelování a simulace. softwarové inženýrství. monografie
519.179.2. 519.86/.87. 004.94. 004.41. (048.8)