| 書(shū)目名稱 | Understanding Petri Nets | | 副標(biāo)題 | Modeling Techniques, | | 編輯 | Wolfgang Reisig | | 視頻video | http://file.papertrans.cn/942/941591/941591.mp4 | | 概述 | Presents essentials of this powerful well-established modeling technique.Includes exercises and fully integrated illustrations.Foreword written by the inventor of the technique.Includes supplementary | | 圖書(shū)封面 |  | | 描述 | .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 | | 出版日期 | Textbook 2013 | | 關(guān)鍵詞 | Modeling; Petri nets; Programming; Scenarios; Software engineering | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-642-33278-4 | | isbn_softcover | 978-3-662-52307-0 | | isbn_ebook | 978-3-642-33278-4 | | copyright | Springer-Verlag Berlin Heidelberg 2013 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-5 09:33
發(fā)表于 2025-3-21 18:37:53
