Search results
- 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.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 book