Applications and Theory of Petri Nets, Kees van van Hee; R?diger Valk

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

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

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

Автор: Kordon
Название: Application and Theory of Petri Nets and Concurrency
ISBN: 3319390856 ISBN-13(EAN): 9783319390857
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 37th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2016, held in Torun, Poland, in June 2016.

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

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

Автор: Olderog
Название: Nets, Terms and Formulas
ISBN: 0521400449 ISBN-13(EAN): 9780521400442
Издательство: Cambridge Academ
Рейтинг:
Цена: 14731.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The author presents a theory whereby nets, terms and formulas represent concurrent processes at three levels of abstraction. The use of transformations in a series of case studies and the author identifies directions for research.