Search results
- Applications and theory of Petri nets : 29th International Conference, Petri Nets 2008, Xi'an, China, June 23-27, 2008 / Kees M. van Hee, Rüdiger Valk (eds.). Berlin : Springer, c2008 . xiii, 428 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 0 0 0 - Automatizace řízení výroby v kontextu Industry 4.0 [rukopis] / Martin Stojmenov. 2022 . 159 s.
- Coloured Petri nets : basic concepts, analysis methods and practical use. Volume 1 / Kurt Jensen. Berlin : Springer, c1996 . xii, 234 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 0 0 0 - Coloured Petri nets : modelling and validation of concurrent systems / Kurt Jensen, Lars M. Kristensen. Berlin ; Heidelberg : Springer, 2009 . xi, 384 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 - Coloured Petri Nets : modelling and validation of concurrent systems / Kurt Jensen, Lars M. Kristensen. Berlin : Springer, c2009 . xi, 384 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 0 0 0 - Discrete, continuous, and hybrid Petri nets / René David, Hassane Alla. Berlin ; Heidelberg ; New York : Springer, 2005 . xxii, 524 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 - Dynamic analysis of Petri net-based discrete systems / Andrei Karatkevich. Berlin : Springer, c2007 . xiii, 166 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 0 0 0 - Hardware design and Petri nets / edited by Alex Yakovlev, Luis Gomes and Luciano Lavagno. Boston : Kluwer Academic Publishers, c2000 . xi, 331 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 0 0 0 - Intelligent task planning using fuzzy Petri nets / Tiehua Cao, Arthur C. Sanderson. Singapore : World Scientific, c1996 . xiii, 192 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 0 0 0 - Lectures on concurrency and Petri nets : advances in Petri nets / Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg (eds.). Berlin ; Heidelberg ; New York : Springer, c2004 . viii, 848 s.
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 1 0 0