| 書目名稱 | Petri Net Primer |
| 副標(biāo)題 | A Compendium on the |
| 編輯 | Eike Best,Raymond Devillers |
| 視頻video | http://file.papertrans.cn/746/745289/745289.mp4 |
| 概述 | Offers a detailed compendium about the core, and most well-known, Petri net model.Provides in-depth account of seminal and recent Petri net theory.Covers a wide range of concurrency related research |
| 叢書名稱 | Computer Science Foundations and Applied Logic |
| 圖書封面 |  |
| 描述 | .Petri nets model concurrent and distributed systems where active components communicate through the production and absorption of various kinds of resources.?.Although the dynamic properties of such systems may be very complex, they may sometimes be connected to the static structure of a Petri net. Many properties are decidable, but their complexity may be huge. It is often opportune to restrict oneself to classes of systems, to partial algorithms, and to similar but simpler properties. Instead of analysing a given system, it is also possible to search for a system satisfying some desired properties by construction.?.This comprehensive textbook/reference presents and discusses these issues in-depth in the context of one of the most fundamental Petri net models, called place/transition nets. The presentation is fortified by means of many examples and worked exercises.?.Among topics addressed.:?.? In which order may actions may be generated and scheduled??.? What states and configurations may be reached in a concurrent system??.? Which interesting classes of systems can be analysed relatively efficiently??.? Is it possible to synthesise a system of some class from its behaviour??.? H |
| 出版日期 | Textbook 2024 |
| 關(guān)鍵詞 | Place/transition nets; Petri nets; Reachability problem; Coverability graph; Process algebra; Decidabilit |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-031-48278-6 |
| isbn_softcover | 978-3-031-48280-9 |
| isbn_ebook | 978-3-031-48278-6Series ISSN 2731-5754 Series E-ISSN 2731-5762 |
| issn_series | 2731-5754 |
| copyright | The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl |
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2026-1-29 19:28
發(fā)表于 2025-3-21 18:22:43
