Výsledky vyhledávání
- Supervision of Petri nets / by Geert Stremersch. Boston : Kluwer Academic Publishers, c2001 . xiv, 198 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 0 0 0 kniha
- Supervisory control of concurrent systems : a Petri net structural approach / Marian V. Iordache, Panos J. Antsaklis. Boston : Birkhäuser, c2006 . xiv, 281 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 kniha
- Understanding Petri nets : modeling techniques, analysis methods, case studies / Wolfgang Reisig. Berlin : Springer, 2013 ©2013 . xxvi, 230 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 2 0 0 1 0 0 kniha
- Unifying Petri nets : advances in Petri nets / Hartmut Ehrig ... [et al.] (Eds.). Berlin ; Heidelberg : Springer, c2001 . viii, 484 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 0 0 0 kniha
- Verification of systems and circuits using LOTOS, Petri Nets, and CCS / by Michael Yoeli and Rakefet Kol. Hoboken, N.J. : Wiley-Interscience, c2008 . xv, 231 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 
kniha