| 书目名称 | Petri Nets | | 副标题 | Theoretical Models a | | 编辑 | Guanjun Liu | | 视频video | | | 概述 | 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 | | 关键词 | 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
|
|
发表于 2025-3-21 18:56:17
