Advances in Petri Nets 1988, Grzegorz Rozenberg

Автор: Louchka Popova-Zeugmann
Название: Time and Petri Nets
ISBN: 3662514354 ISBN-13(EAN): 9783662514351
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book deals with time-dependent Petri nets, introducing three basic classes as a presentation for the possibilities of including time to a standard Petri net. The book offers many examples and exercises and benefits both researchers and graduate students.

Автор: Maciej Koutny; Jetty Kleijn; Wojciech Penczek
Название: Transactions on Petri Nets and Other Models of Concurrency XII
ISBN: 3662558610 ISBN-13(EAN): 9783662558614
Издательство: Springer
Рейтинг:
Цена: 79190.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 12th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 37th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2016, and the 16th International Conference on Application of Concurrency to System Design, ACSD 2016.

Автор: Gobel, Susanne
Название: Polynomial translation of mobile ambients into safe petri nets
ISBN: 3658117648 ISBN-13(EAN): 9783658117641
Издательство: Springer
Рейтинг:
Цена: 60940.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The master thesis of Susanne Gobel generates the deep understanding of the Mobile Ambient (MA) calculus that is necessary to use it as a modeling language. It extends to arbitrary MA processes but finiteness of the net and therefore decidability of reachability is only guaranteed for bounded processes.

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

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

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

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

Автор: Wil M. P. van der Aalst; Kurt Jensen
Название: Transactions on Petri Nets and Other Models of Concurrency II
ISBN: 3642008984 ISBN-13(EAN): 9783642008986
Издательство: Springer
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These Transactions publish archival papers in the area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. This second volume focuses on concurrency in process-aware information systems.

Автор: H. Genrich; G. Rozenberg; G. Roucairol
Название: Advances in Petri Nets 1984
ISBN: 3540152040 ISBN-13(EAN): 9783540152040
Издательство: Springer
Рейтинг:
Цена: 43780.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Wilfried Brauer; Wolfgang Reisig; Grzegorz Rozenbe
Название: Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986
ISBN: 3540179062 ISBN-13(EAN): 9783540179061
Издательство: Springer
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Contains the proceedings of the 1986 Advanced Course on Petri Nets in Bad Honnef. This title discusses tools supporting the design of petri nets as well as their modification and analysis. It covers the relationship of petri nets to other concurrency models. It presents the results in the application and theory of petri nets.

Автор: Filipe de Carvalho Moutinho; Lu?s Filipe Santos Go
Название: Distributed Embedded Controller Development with Petri Nets
ISBN: 3319208217 ISBN-13(EAN): 9783319208213
Издательство: Springer
Рейтинг:
Цена: 60940.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

Introduction.- Related work.- Development of distributed embedded controllers.- Application Example.- Conclusions and future work.