Advances in Verification of Time Petri Nets and Timed Automata, Wojciech Penczek; Agata P?lrola

Автор: Kurshan Robert P.
Название: Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach
ISBN: 0691606056 ISBN-13(EAN): 9780691606057
Издательство: Wiley
Рейтинг:
Цена: 8237.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design complexity, it must support a top-down design methodo

Автор: Jorg Desel
Название: Free Choice Petri Nets
ISBN: 0521019451 ISBN-13(EAN): 9780521019453
Издательство: Cambridge Academ
Рейтинг:
Цена: 6494.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: K. Jensen
Название: Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use. Volume 3
ISBN: 3642645569 ISBN-13(EAN): 9783642645563
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The volume presents the most important ideas and experiences from the projects, in a way which is useful also for readers who do not yet have personal experience with the construction and analysis of large CPN models. The presentation of the projects is based upon material provided by the per- sons who have accomplished the individual projects.