Application and Theory of Petri Nets 2000, Mogens Nielsen; Dan Simpson

Автор: 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.

Автор: Dirk A. Taubner
Название: Finite Representations of CCS and TCSP Programs by Automata and Petri Nets
ISBN: 3540515259 ISBN-13(EAN): 9783540515258
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Focuses on different approaches for the modelling of parallel processes. On the one hand there are the so-called `process algebras` or `abstract programming languages` with Milner`s Calculus of Communicating Systems (CCS) and the theoretical version of Hoare`s Communicating Sequential Processes (CSP) as main representatives.