Girault, Claude, 1940-
Petri nets for system engineering : a guide to modeling, verification, and applications / Claude Girault, Rüdiger Valk. -- Berlin ; Heidelberg ; New York : Springer Verlag, 2003. -- xvi, 607 s., 190 il. -- Lit. -- Rejstř. -- ISBN : 3540412174.
Valk, Rüdiger, 1945-
softwarové inženýrství. systémové inženýrství. Petriho sítě. počítačové sítě
004.41. 004.72/.73. 303.725.36