Jensen, Kurt, 1950-
Coloured Petri nets : modelling and validation of concurrent systems / Kurt Jensen, Lars M. Kristensen. -- Softcover re-print of the hardcover 1st edition. -- Berlin ; Heidelberg : Springer, 2009. -- xi, 384 stran : grafy, schémata. -- ISBN : 978-3-642-42581-3 (brožováno).
Kristensen, Lars Michael
Petriho sítě. modelování a simulace. softwarové inženýrství. učebnice vysokých škol
004.41. 004.94. 519.86/.87. 519.179.2. (075.8)