Petri Net Synthesis, Eric Badouel; Luca Bernardinello; Philippe Daronde

Автор: Jonathan Billington; Wolfgang Reisig
Название: Application and Theory of Petri Nets 1996
ISBN: 3540613633 ISBN-13(EAN): 9783540613633
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text constitutes the refereed proceedings of the 17th International Conference on Application and Theory of Petri Nets, held in Osaka, Japan, in June 1996. It addresses the current theoretical and applicational aspects of the various types of petri nets.

Автор: Eric Badouel; Luca Bernardinello; Philippe Daronde
Название: Petri Net Synthesis
ISBN: 3662479664 ISBN-13(EAN): 9783662479667
Издательство: Springer
Рейтинг:
Цена: 8384.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Introduction.- Introduction to Elementary Net Synthesis.- Other Forms of the Synthesis Problem.- Algorithms of Elementary Net Synthesis.- Variations of Elementary Net Synthesis.- A Unified Theory of Net Synthesis.- The Linear Algebraic Structure of Regions.- Synthesis of P/T-Nets from Finite Initialized Transition Systems.- Synthesis of Unbounded P/T-Nets.- P/T-Nets with the Step Firing Rule.- Extracting Concurrency from Transition Systems.- Process Discovery.- Supervisory Control.- Design of Speed Independent Circuits.- Bibliography.

Автор: Eike Best; Raymond Devillers; Maciej Koutny
Название: Petri Net Algebra
ISBN: 3642086772 ISBN-13(EAN): 9783642086779
Издательство: Springer
Рейтинг:
Цена: 23058.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The reason is that many commonly occurring phenomena and computer applications are highly con- current : typical examples include control systems, computer networks, digital hardware, business computing, and multimedia systems.

Автор: Wolfgang Reisig
Название: A Primer in Petri Net Design
ISBN: 3642753310 ISBN-13(EAN): 9783642753312
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Petri nets provide a formal framework for system modelingand validation which has proven to be very reliable inpractice. This book presents variousnet models appropriatefor designing specific systems, where systems are understoodvery generally as "organizational systems" in whichregulatedflows of objects and information are significant.

Автор: Wolfgang Reisig; Grzegorz Rozenberg
Название: Lectures on Petri Nets I: Basic Models
ISBN: 3540653066 ISBN-13(EAN): 9783540653066
Издательство: Springer
Рейтинг:
Цена: 12571.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Giorgio DeMichelis; Michel Diaz
Название: Application and Theory of Petri Nets 1995
ISBN: 3540600299 ISBN-13(EAN): 9783540600299
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This text contains the proceedings of the 16th International Conference on Application and Theory of Petri Nets. The papers document the progress achieved in this application-oriented area of research and development since the predecessor conference held in 1994.

Автор: Robert Valette
Название: Application and Theory of Petri Nets 1994
ISBN: 3540581529 ISBN-13(EAN): 9783540581529
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume of papers, originating from a Spanish conference on Petri nets, contains 28 contributions plus 3 invited essays providing a state-of-the-art review of research in the field.

Автор: Marco Ajmone Marsan
Название: Application and Theory of Petri Nets 1993
ISBN: 3540568638 ISBN-13(EAN): 9783540568636
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains the proceedings of the 14thInternational Conference onApplication and Theory of PetriNets. The aim of the Petri net conferences is to create aforum for discussing progress in the application and theoryof Petri nets. Silva), and "FSPNs: fluid stochasticPetri nets" (K.S.

Автор: Grzegorz Rozenberg
Название: Advances in Petri Nets 1990
ISBN: 3540538631 ISBN-13(EAN): 9783540538639
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Part of a series of volumes which presents the results on Petri nets to the general computer science community, this work contains selected papers which present results that are the most representative and significant for the development of this area.

Автор: Javier Esparza; Charles Lakos
Название: Application and Theory of Petri Nets 2002
ISBN: 3540437878 ISBN-13(EAN): 9783540437871
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: These are the refereed proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ICATPN 2002. The papers address concurrent systems analysis, model validation, business process management, reactive systems, workflow processes, and wireless transaction protocols.

Автор: Hartmut Ehrig; Gabriel Juhas; Julia Padberg; Grzeg
Название: Unifying Petri Nets
ISBN: 3540430679 ISBN-13(EAN): 9783540430674
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Research on Petri nets has diverged in many different directions. This survey presents the relevant approaches to unifying Petri nets in a systematic and coherent way. The chapters are organized in topical sections on application-oriented approaches, unifying frameworks, and theoretical approaches.

Автор: Jonathan Billington; Kurt Jensen; Maciej Koutny
Название: Transactions on Petri Nets and Other Models of Concurrency III
ISBN: 3642048544 ISBN-13(EAN): 9783642048548
Издательство: Springer
Рейтинг:
Цена: 9776.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains papers from the 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency and from the 8th and 9th Workshops and Tutorials on Practical Use of Coloured Petri Nets and the CPN Tools.