skip to content
Understanding petri nets : modeling techniques, analysis methods, case studies Preview this item
ClosePreview this item
Checking...

Understanding petri nets : modeling techniques, analysis methods, case studies

Author: Wolfgang Reisig
Publisher: Berlin : Springer, ©2013.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Database:WorldCat
Summary:
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: The book on Petri nets
(NL-LeOCL)351911480
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Wolfgang Reisig
ISBN: 9783642332784 3642332781 3642332773 9783642332777
OCLC Number: 852472719
Description: 1 online resource.
Contents: Part I Modeling Techniques --
Chap. 1 An Example --
Chap. 2 The Basic Concepts --
Chap. 3 Common Special Case: Elementary System Nets --
Chap. 4 Sequential and Distributed Runs --
Chap. 5 Scenarios --
Chap. 6 Further Notation for Elementary System Nets --
Chap. 7 The Synthesis Problem --
Chap. 8 Composition of Nets --
Part II Analysis Methods --
Chap. 9 State Properties --
Chap. 10 Traps and Co-traps of Elementary System Nets --
Chap. 11 Place Invariants of Elementary System Nets --
Chap. 12 Combining Traps and Place Invariants of Elementary System Nets --
Chap. 13 Traps and Place Invariants of Generic System Nets --
Chap. 14 Marking and Covering Graphs --
Chap. 15 Reachability in Elementary System Nets --
Chap. 16 Run Properties --
Chap. 17 Free-Choice Nets --
Chap. 18 Marked Graphs --
Chap. 19 Well-Formed System Nets --
Part III Case Studies --
Chap. 20 Mutual Exclusion --
Chap. 21 Asynchronous Hardware.
Other Titles: Petrinetze.
Responsibility: Wolfgang Reisig.
More information:

Abstract:

This book offers a clear, thorough introduction to Petri nets. The explanations are supported throughout with fully integrated graphical illustrations, with only the analysis and verification  Read more...

Reviews

Editorial reviews

Publisher Synopsis

"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 Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/852472719>
library:oclcnum"852472719"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/852472719>
rdf:typeschema:Book
schema:about
schema:about
schema:about
schema:about
schema:about
schema:bookFormatschema:EBook
schema:copyrightYear"2013"
schema:creator
schema:datePublished"2013"
schema:description"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."
schema:description"Part I Modeling Techniques -- Chap. 1 An Example -- Chap. 2 The Basic Concepts -- Chap. 3 Common Special Case: Elementary System Nets -- Chap. 4 Sequential and Distributed Runs -- Chap. 5 Scenarios -- Chap. 6 Further Notation for Elementary System Nets -- Chap. 7 The Synthesis Problem -- Chap. 8 Composition of Nets -- Part II Analysis Methods -- Chap. 9 State Properties -- Chap. 10 Traps and Co-traps of Elementary System Nets -- Chap. 11 Place Invariants of Elementary System Nets -- Chap. 12 Combining Traps and Place Invariants of Elementary System Nets -- Chap. 13 Traps and Place Invariants of Generic System Nets -- Chap. 14 Marking and Covering Graphs -- Chap. 15 Reachability in Elementary System Nets -- Chap. 16 Run Properties -- Chap. 17 Free-Choice Nets -- Chap. 18 Marked Graphs -- Chap. 19 Well-Formed System Nets -- Part III Case Studies -- Chap. 20 Mutual Exclusion -- Chap. 21 Asynchronous Hardware."
schema:exampleOfWork<http://worldcat.org/entity/work/id/1379555481>
schema:genre"Electronic books."
schema:inLanguage"en"
schema:name"Understanding petri nets modeling techniques, analysis methods, case studies"
schema:publisher
schema:url<http://dx.doi.org/10.1007/978-3-642-33278-4>
schema:url
schema:workExample
schema:workExample

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.