Applications and Theory of Petri Nets, Johan Lilius; Wojciech Penczek

Автор: Angela Barbero
Название: Coding Theory and Applications
ISBN: 354087447X ISBN-13(EAN): 9783540874478
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Covers the proceedings of the 2nd International Castle Meeting, ISMCTA 2008, Castillo de la Mota, Medina del Campo, Spain, September 2008. This book covers network coding, quantum codes, group codes, codes and combinatorial structures, agebraic-geometry codes, as well as codes and applications.

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

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

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

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

Автор: Charles J. Petrie; Tiziana Margaria; Holger Lausen
Название: Semantic Web Services Challenge
ISBN: 1441944400 ISBN-13(EAN): 9781441944405
Издательство: Springer
Рейтинг:
Цена: 23058.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This is an edited volume that develops a common understanding of the various technologies intended to facilitate the automation of mediation, choreography and discovery for Web Services using semantic annotations. The book explores trade-offs among existing approaches.

Автор: Carlos Martin-Vide; Friedrich Otto; Henning Fernau
Название: Language and Automata Theory and Applications
ISBN: 3540882812 ISBN-13(EAN): 9783540882817
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory and Applications, LATA 2008, held in Tarragona, Spain, in March 2008. This book presents 40 revised papers that are reviewed and selected from 134 submissions and deal with the various issues related to automata theory and formal languages.