519.179.2 P41 Penczek, W. Advances in verification of time petri nets and timed automata [Electronic resource] : a temporal logic approach / W. Penczek, A. Polrola. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Studies in computational intelligence, ISSN 1860-949X ; 20). - ISBN 978-3-540-32870-4 : Б. ц.
Автоматов теория См. : Текст издания Доп.точки доступа: Polrola, A.; SpringerLink (Online service) Свободных экз. нет |
519.179.2 J41 Jensen, K. Coloured petri nets [Electronic resource] : modelling and validation of concurrent systems / K. Jensen, L. M. Kristensen. - Electronic text data. - Berlin ; Heidelberg : Springer, 2009. - ISBN 978-3-642-00284-7 : Б. ц.
Кл.слова (ненормированные): сети петри -- параллельные вычисления См. : Текст издания Доп.точки доступа: Kristensen, L.M.; SpringerLink (Online service) Свободных экз. нет |
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 : Б. ц.
См. : Текст издания Доп.точки доступа: Alla, H.; SpringerLink (Online service) Свободных экз. нет |
519.179.2 W71 Wimmel, H. Entscheidbarkeit bei Petri Netzen [Electronic resource] : Uberblick und Kompendium / H. Wimmel. - Electronic text data. - Berlin ; Heidelberg : Springer, 2008. - (eXamen.press, ISSN 1614-5216). - ISBN 978-3-540-85471-5 : Б. ц.
Кл.слова (ненормированные): сети Петри См. : Текст издания Доп.точки доступа: 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 : Б. ц.
Параллельные вычисления См. : Текст издания Доп.точки доступа: 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 : Б. ц.
Параллельные вычисления См. : Текст издания Доп.точки доступа: Jensen, K. \ed.\; SpringerLink (Online service) Свободных экз. нет |
519.179.2 T82 Transactions on petri nets and other models of concurrency iii [Electronic resource] / ed. K. Jensen [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer-Verlag, 2009. - (Lecture notes in computer science, ISSN 0302-9743 ; 5800). - ISBN 978-3-642-04856-2 : Б. ц.
Кл.слова (ненормированные): сети Петри -- параллельные вычисления См. : Текст издания Доп.точки доступа: Jensen, K. \ed.\; SpringerLink (Online service) Свободных экз. нет |