| 書目名稱 | Petri Nets | | 副標(biāo)題 | Theoretical Models a | | 編輯 | Guanjun Liu | | 視頻video | http://file.papertrans.cn/746/745293/745293.mp4 | | 概述 | Offers a comprehensive introduction to Petri net-based model checking methods for CTL, TCTL, and CTLK.Provides essential information on elementary Petri net theory.Introduces readers to high-level Pet | | 圖書封面 |  | | 描述 | .This book provides essential information on Petri net theory and Petri net-based model checking methods. As for the Petri net theory, it involves the interleaving semantics and concurrency semantics of elementary net systems, some important net structures (e.g., invariant, repetitive vector, siphon, and trap), some classical net subclasses with special structures (e.g., state machine, marked graph, free-choice net,asymmetric-choice net, normal net, and weakly persistent net), and some basic properties (e.g., reachability, liveness, deadlock, and soundness). It also involves four high-level Petri nets: knowledge-oriented Petri nets, Petri nets with insecure places, time Petri nets, and plain time Petri nets with priorities, focusing on different fields of application. As for the model checking methods, this book introduces readers to computation tree logic (CTL), computation tree logic of knowledge (CTLK), and timed computation tree logic (TCTL), as well as Petri net-based methods for checking them. The basic principle of the reduced ordered binary decision diagram (ROBDD) is employed to compress the state space used in these model checking procedures. The book also covers time-sou | | 出版日期 | Book 2022 | | 關(guān)鍵詞 | Petri nets; time Petri nets; computation tree logic (CTL); timed computation tree logic (TCTL); computat | | 版次 | 1 | | doi | https://doi.org/10.1007/978-981-19-6309-4 | | isbn_softcover | 978-981-19-6311-7 | | isbn_ebook | 978-981-19-6309-4 | | copyright | The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Singapor |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2026-1-20 21:17
發(fā)表于 2025-3-21 18:56:17
