Автор: Louchka Popova-Zeugmann Название: Time and Petri Nets ISBN: 3662514354 ISBN-13(EAN): 9783662514351 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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 Рейтинг: Цена: 11878.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Автор: Filipe de Carvalho Moutinho; Lu?s Filipe Santos Go Название: Distributed Embedded Controller Development with Petri Nets ISBN: 3319208217 ISBN-13(EAN): 9783319208213 Издательство: Springer Рейтинг: Цена: 9141.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Introduction.- Related work.- Development of distributed embedded controllers.- Application Example.- Conclusions and future work.
Автор: 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.
Автор: H. Genrich; G. Rozenberg; G. Roucairol Название: Advances in Petri Nets 1984 ISBN: 3540152040 ISBN-13(EAN): 9783540152040 Издательство: Springer Рейтинг: Цена: 6567.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Описание: 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 Рейтинг: Цена: 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.
Автор: 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.
Автор: Jensen Kurt Название: Transactions on Petri Nets and Other Models of Concurrency ISBN: 3642381421 ISBN-13(EAN): 9783642381423 Издательство: Springer Рейтинг: Цена: 11739.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains: - Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences - Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series) - Other papers invited for publication in ToPNoC - Papers submitted directly to ToPNoC by their authors The 7th volume of ToPNoC contains revised material from the 5th International Summer School "Advanced Course on Petri Nets," held in September 2010 in Rostock, Germany. The nine papers cover a diverse range of topics including modeling, verification, partial order semantics, and synthesis of Petri nets. In compliance with their origin as course material, the papers are written in survey or tutorial style and give a comprehensive overview of the state of the art in their respective areas.
Описание: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
