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.
"synopsis" may belong to another edition of this title.
Prof. Dr. Wolfgang Reisig is a professor at Humboldt Universität 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.
"This book chooses the most important, most original, most successful and most basic concepts and presents them comprehensively. ... I wish this book a wide distribution and a long usage." [Carl Adam Petri, 2010 (German-language edition)] "This is a wonderful book, on a truly important and central topic, and written by the best person possible. Petri nets constitute one of the very few fundamental formalisms that deal with concurrency, reactivity and communication. They are clean and elegant, useful in practice, and are backed by deep and exciting mathematical underpinnings. The book, which is poised to become the Bible of Petri nets, deals with all aspects of the formalism. It is written eloquently, and with great talent and careful planning. It will appeal to computer scientists researching all manners of programming and research on reactive systems, as well as to the software and systems engineers who actually build those systems. Wolfgang Reisig s close relationship with the late Carl Petri himself, and his obvious love of the subject, not to mention the central role he himself plays in Petri net research, emerge impressively from the pages. Inventors of other languages or methods can only hope for someone like him to produce such an excellent account, both broad and deep."[David Harel, Weizmann Institute of Science] "This book, authored by one of the most respected experts in Petri Nets, is one of the most comprehensive treatments of the topic I have seen. This excellent book provides an invaluable guide to all interested in Petri Nets and captures the reader with plenty of examples, different reading paths through the book to follow the topic, as well as its elegant writing style. I highly recommend this book." [Schahram Dustdar, Vienna University of Technology] "Half a century ago Carl Adam Petri's thesis appeared, and a new wonderful theory was born: Petri nets. This book digests 50 years of science and engineering, and research and applications of Petri net
"This book chooses the most important, most original, most successful and most basic concepts and presents them comprehensively. ... I wish this book a wide distribution and a long usage." [Carl Adam Petri, 2010 (German-language edition)]
"This is a wonderful book, on a truly important and central topic, and written by the best person possible. Petri nets constitute one of the very few fundamental formalisms that deal with concurrency, reactivity and communication. They are clean and elegant, useful in practice, and are backed by deep and exciting mathematical underpinnings. The book, which is poised to become the Bible of Petri nets, deals with all aspects of the formalism. It is written eloquently, and with great talent and careful planning. It will appeal to computer scientists researching all manners of programming and research on reactive systems, as well as to the software and systems engineers who actually build those systems. Wolfgang Reisig s close relationship with the late Carl Petri himself, and his obvious love of the subject, not to mention the central role he himself plays in Petri net research, emerge impressively from the pages. Inventors of other languages or methods can only hope for someone like him to produce such an excellent account, both broad and deep."[David Harel, Weizmann Institute of Science]
"This book, authored by one of the most respected experts in Petri Nets, is one of the most comprehensive treatments of the topic I have seen. This excellent book provides an invaluable guide to all interested in Petri Nets and captures the reader with plenty of examples, different reading paths through the book to follow the topic, as well as its elegant writing style. I highly recommend this book." [Schahram Dustdar, Vienna University of Technology]
"Half a century ago Carl Adam Petri's thesis appeared, and a new wonderful theory was born: Petri nets. This book digests 50 years of science and engineering, and research and applica
"About this title" may belong to another edition of this title.
Shipping:
US$ 27.77
From Germany to U.S.A.
Shipping:
FREE
Within U.S.A.
Seller: Basi6 International, Irving, TX, U.S.A.
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-14614
Quantity: 1 available
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New. pp. 230. Seller Inventory # 2696978185
Quantity: 1 available
Seller: SpringBooks, Berlin, Germany
Hardcover. Condition: As New. from Germany, will be dispatched immediately. Seller Inventory # CE-2311C-GRILLE-15-1000XS
Quantity: 1 available
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New. pp. 230. Seller Inventory # 95451862
Quantity: 1 available
Seller: Brook Bookstore, Milano, MI, Italy
Condition: new. Seller Inventory # 06c7579968e2851a56735eece9118bb8
Quantity: Over 20 available
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 260 pp. Englisch. Seller Inventory # 9783642332777
Quantity: 2 available
Seller: AHA-BUCH GmbH, Einbeck, Germany
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 keyproperties 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. Seller Inventory # 9783642332777
Quantity: 1 available
Seller: moluna, Greven, Germany
Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Prof. Dr. Wolfgang Reisig is a professor at Humboldt Universitaet 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 initia. Seller Inventory # 5057216
Quantity: Over 20 available
Seller: Mispah books, Redhill, SURRE, United Kingdom
Hardcover. Condition: Like New. Like New. book. Seller Inventory # ERICA77336423327736
Quantity: 1 available
Seller: ALLBOOKS1, Parafield, SA, Australia
Seller Inventory # SHUB14614
Quantity: 3 available