Finite Representations of CCS and TCSP Programs by Automata and Petri Nets, Dirk A. Taubner

Автор: Jorg Desel
Название: Free Choice Petri Nets
ISBN: 0521019451 ISBN-13(EAN): 9780521019453
Издательство: Cambridge Academ
Рейтинг:
Цена: 43290.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent systems. The text is very clearly organised, with every notion carefully explained and every result proved. Clear exposition is given for place invariants, siphons, traps and many other important analysis techniques.

Автор: M. Delorme; J. Mazoyer
Название: Cellular Automata
ISBN: 0792354931 ISBN-13(EAN): 9780792354932
Издательство: Springer
Рейтинг:
Цена: 102480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Cellular automata can be viewed both as computational models and modelling systems of real processes. Their computational power and the specific complexity classes they determine are surveyed, while some recent results in relation to chaos from a new dynamic systems point of view are also presented.

Автор: Mogens Nielsen; Dan Simpson
Название: Application and Theory of Petri Nets 2000
ISBN: 3540676937 ISBN-13(EAN): 9783540676935
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The refereed proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN 2000. The papers address various aspects of Petri net research and development including: system design and verification; UML; compositionality; process algebras; and model checking.