Understanding Petri Nets

Understanding Petri Nets
Author :
Publisher : Springer Science & Business Media
Total Pages : 236
Release :
ISBN-10 : 9783642332784
ISBN-13 : 3642332781
Rating : 4/5 (84 Downloads)

Book Synopsis Understanding Petri Nets by : Wolfgang Reisig

Download or read book Understanding Petri Nets written by Wolfgang Reisig and published by Springer Science & Business Media. This book was released on 2013-07-03 with total page 236 pages. Available in PDF, EPUB and Kindle. Book excerpt: With their intuitive graphical approach and expressive analysis techniques, Petri nets are suitable for a wide range of applications and teaching scenarios, and they have gained wide acceptance as a modeling technique in areas such as software design and control engineering. The core theoretical principles have been studied for many decades and there is now a comprehensive research literature that complements the extensive implementation experience. In this book the author presents a clear, thorough introduction to the essentials of Petri nets. He explains the core modeling techniques and analysis methods and he illustrates their usefulness with examples and case studies. Part I describes how to use Petri nets for modeling; all concepts are explained with the help of examples, starting with a generic, powerful model which is also intuitive and realistic. Part II covers the essential analysis methods that are specific to Petri nets, introducing techniques used to formulate key properties of system nets and algorithms for proving their validity. Part III presents case studies, each introducing new concepts, properties and analysis techniques required for very different modeling tasks. The author offers different paths among the chapters and sections: the elementary strand for readers who wish to study only elementary nets; the modeling strand for those who wish to study the modeling but not the analysis of systems; and finally the elementary models of the modeling strand for those interested in technically simple, but challenging examples and case studies. The author achieves an excellent balance between consistency, comprehensibility and correctness in a book of distinctive design. Among its characteristics, formal arguments are reduced to a minimum in the main text with many of the theoretical formalisms moved to an appendix, the explanations are supported throughout with fully integrated graphical illustrations, and each chapter ends with exercises and recommendations for further reading. The book is suitable for students of computer science and related subjects such as engineering, and for a broad range of researchers and practitioners.


Understanding Petri Nets Related Books

Understanding Petri Nets
Language: en
Pages: 236
Authors: Wolfgang Reisig
Categories: Computers
Type: BOOK - Published: 2013-07-03 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

With their intuitive graphical approach and expressive analysis techniques, Petri nets are suitable for a wide range of applications and teaching scenarios, and
Petri Nets
Language: en
Pages: 172
Authors: Wolfgang Reisig
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Net theory is a theory of systems organization which had its origins, about 20 years ago, in the dissertation of C. A. Petri [1]. Since this seminal paper, nets
Discrete, Continuous, and Hybrid Petri Nets
Language: en
Pages: 0
Authors: René David
Categories: Technology & Engineering
Type: BOOK - Published: 2014-10-31 - Publisher: Springer

DOWNLOAD EBOOK

Petri Nets were introduced and still successfully used to analyze and model discrete event systems especially in engineering and computer sciences such as in au
Petri Nets for Systems Engineering
Language: en
Pages: 607
Authors: Claude Girault
Categories: Computers
Type: BOOK - Published: 2013-01-08 - Publisher: Springer

DOWNLOAD EBOOK

Using formal methods for the specification and verification of hardware and software systems is becoming increasingly important as systems increase in size and
System Modeling and Control with Resource-Oriented Petri Nets
Language: en
Pages: 312
Authors: MengChu Zhou
Categories: Computers
Type: BOOK - Published: 2018-09-03 - Publisher: CRC Press

DOWNLOAD EBOOK

Petri nets are widely used in modeling, analysis, and control of discrete event systems arising from manufacturing, transportation, computer and communication n