Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use. Volume 3, K. Jensen

Автор: Johan Lilius; Wojciech Penczek
Название: Applications and Theory of Petri Nets
ISBN: 3642136745 ISBN-13(EAN): 9783642136740
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 31st International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2010, held in Braga, Portugal, in June 2010.

Автор: Koutny
Название: Transactions on Petri Nets and Other Models of Concurrency XI
ISBN: 3662534002 ISBN-13(EAN): 9783662534007
Издательство: Springer
Рейтинг:
Цена: 10761.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The 11th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 36th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2015, and the 15th International Conference on Application of Concurrency to System Design, ACSD 2014. It also contains one paper submitted directly to ToPNoC.The 16 papers cover a diverse range of topics including model checking and system verification, refinement and synthesis; foundational work on specific classes of Petri nets; and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: security, service composition, communication protocols, business processes, distributed systems, and multi-agent systems. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.

Автор: Giuliana Franceschinis; Karsten Wolf
Название: Applications and Theory of Petri Nets
ISBN: 3642024238 ISBN-13(EAN): 9783642024238
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 30th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2009, held in Paris, France, in June 2009.

Автор: Kees van van Hee; R?diger Valk
Название: Applications and Theory of Petri Nets
ISBN: 3540687459 ISBN-13(EAN): 9783540687450
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2008, held in Xi`an, China, in June 2008.