LEADER 05480nam 22006855 450 001 9910437957503321 005 20200630020422.0 010 $a3-642-33278-1 024 7 $a10.1007/978-3-642-33278-4 035 $a(CKB)3710000000002572 035 $a(EBL)1317737 035 $a(OCoLC)870244255 035 $a(SSID)ssj0000960691 035 $a(PQKBManifestationID)11516885 035 $a(PQKBTitleCode)TC0000960691 035 $a(PQKBWorkID)10958937 035 $a(PQKB)10927150 035 $a(DE-He213)978-3-642-33278-4 035 $a(MiAaPQ)EBC6312652 035 $a(MiAaPQ)EBC1317737 035 $a(Au-PeEL)EBL1317737 035 $a(CaPaEBR)ebr10969142 035 $a(PPN)172425506 035 $a(EXLCZ)993710000000002572 100 $a20130703d2013 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aUnderstanding Petri Nets $eModeling Techniques, Analysis Methods, Case Studies /$fby Wolfgang Reisig 205 $a1st ed. 2013. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013. 215 $a1 online resource (236 p.) 300 $aDescription based upon print version of record. 311 $a3-642-33277-3 320 $aIncludes bibliographical references and index. 327 $aPart 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. 330 $aWith 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. 606 $aComputers 606 $aSoftware engineering 606 $aArtificial intelligence 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 615 0$aComputers. 615 0$aSoftware engineering. 615 0$aArtificial intelligence. 615 14$aTheory of Computation. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aArtificial Intelligence. 676 $a511.3 700 $aReisig$b Wolfgang$4aut$4http://id.loc.gov/vocabulary/relators/aut$050121 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910437957503321 996 $aUnderstanding Petri Nets$92543279 997 $aUNINA