519.179.2 D26     David, R.     Discrete, continuous, and hybrid petri nets [Electronic resource] / R. David, H. Alla. - Electronic text data. - Berlin ; Heidelberg : Springer, 2005. - ISBN 978-3-540-26821-5 : Б. ц. ГРНТИ 27.45.17 УДК 519.179.2 Рубрики: Петри сети См. : Текст издания Доп.точки доступа: Alla, H.; SpringerLink (Online service) Свободных экз. нет

681.5.017 V65     Villani, E.     Modelling and analysis of hybrid supervisory systems [Electronic resource] : a Petri net approach / E. Villani, P. E. Miyagi, R. Valette. - Electronic text data. - London : Springer-Verlag, 2007. - (Advances in industrial control). - ISBN 978-1-84628-651-3 : Б. ц. ГРНТИ 50.43 УДК 681.5.017 Рубрики: Автоматическое управление    Петри сети См. : Текст издания Доп.точки доступа: Miyagi, P.E.; Valette, R.; SpringerLink (Online service) Свободных экз. нет

51/T82-889273         Transactions on petri nets and other models of concurrency i [Electronic resource] / ed. K. Jensen. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (Lecture notes in computer science, ISSN 0302-9743 ; 5100). - ISBN 978-3-540-89287-8 : Б. ц. ГРНТИ 27.45.17 50.33.04 УДК 519.179.2 004.272.2 Рубрики: Петри сети    Параллельные вычисления См. : Текст издания Доп.точки доступа: Jensen, K. \ed.\; SpringerLink (Online service) Свободных экз. нет

519.179.2 T82         Transactions on petri nets and other models of concurrency II [Electronic resource] : special issue on concurrency in process-aware information systems / ed.: K. Jensen [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5460). - ISBN 978-3-642-00899-3 : Б. ц. ГРНТИ 27.45.17 50.33.04 УДК 519.179.2 004.272.2 Рубрики: Петри сети    Параллельные вычисления См. : Текст издания Доп.точки доступа: Jensen, K. \ed.\; SpringerLink (Online service) Свободных экз. нет