Petri Net Synthesis, Eric Badouel; Luca Bernardinello; Philippe Daronde

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

Автор: Eric Badouel; Luca Bernardinello; Philippe Daronde
Название: Petri Net Synthesis
ISBN: 3662516217 ISBN-13(EAN): 9783662516218
Издательство: Springer
Рейтинг:
Цена: 55890.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Introduction.- Introduction to Elementary Net Synthesis.- Other Forms of the Synthesis Problem.- Algorithms of Elementary Net Synthesis.- Variations of Elementary Net Synthesis.- A Unified Theory of Net Synthesis.- The Linear Algebraic Structure of Regions.- Synthesis of P/T-Nets from Finite Initialized Transition Systems.- Synthesis of Unbounded P/T-Nets.- P/T-Nets with the Step Firing Rule.- Extracting Concurrency from Transition Systems.- Process Discovery.- Supervisory Control.- Design of Speed Independent Circuits.- Bibliography.