Understanding Petri Nets PDF ePub eBook

Books Info:

Understanding Petri Nets free pdf 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.

About Wolfgang Reisig

Prof. Dr. Wolfgang Reisig is a professor at Humboldt Universitat zu Berlin, Germany. He has over 30 years experience in the theory, applications, and teaching of Petri nets and related techniques- and he has been closely involved in the key community initiatives such as related conferences. Among his books are Springer titles in the areas of Petri nets, distributed algorithmsm, and computational systems biology.

Details Book

Author : Wolfgang Reisig
Publisher : Springer-Verlag Berlin and Heidelberg GmbH
Data Published : 04 July 2013
ISBN : 3642332773
EAN : 9783642332777
Format Book : PDF, Epub, DOCx, TXT
Number of Pages : 230 pages
Age + : 15 years
Language : English
Rating :

Reviews Understanding Petri Nets



17 Comments Add a comment




Related eBooks Download


  • Understanding Petri Nets free pdfUnderstanding Petri Nets

    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..


  • High-Level Petri Nets  :  Theory and Application free pdfHigh-Level Petri Nets : Theory and Application

    High-level Petri nets are now widely used in both theoretical analysis and practical modelling of concurrent systems. The main reason for the success of this class of net models is that they make it possible to obtain much more succinct and manageable de scriptions than can be obtained by means of low-level Petri nets-while..


  • Rule-Based Modeling in Systems Biology free pdfRule-Based Modeling in Systems Biology

    This book covers computational modeling of "biomolecular site dynamics". It also describes the use of rule-based modeling. in coordination with quantitative experimental approaches. to gain insights into site dynamics and to introduce the basic concepts and techniques of rule-based modeling..


  • Introduction to Structural Equation Modeling Using IBM SPSS Statistics and  ... free pdfIntroduction to Structural Equation Modeling Using IBM SPSS Statistics and ...

    This comprehensive Second Edition offers readers a complete guide to carrying out research projects involving structural equation modeling (SEM). Updated to include extensive analysis of AMOS' graphical interface..


  • Modeling Methods for Marine Science free pdfModeling Methods for Marine Science

    This advanced textbook on modeling. data analysis and numerical techniques for marine science has been developed from a course taught by the authors for many years at the Woods Hole Oceanographic Institute..


  • Understanding Petri Nets free pdfUnderstanding Petri Nets

    . 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