| 書目名稱 | Modular Construction and Partial Order Semantics of Petri Nets | | 編輯 | W. Vogler | | 視頻video | http://file.papertrans.cn/638/637859/637859.mp4 | | 叢書名稱 | Lecture Notes in Computer Science | | 圖書封面 |  | | 描述 | Petri nets are a well-known model for parallel systems, usedfor both applications and theoretical studies. They can beused for specification, modelling, and analysis, and offer agraphical representation and a clear view of concurrency.For the design of large systems, modular constructionisindispensible, and considerable effort has been spent onstudying themodular construction of Petri nets.This book studies the modular construction of nets, and inparticular the top-down design of nets byaction refinement.Suitable behavior descriptions are presented and specialcare is taken to justify these descriptions by showing thattheyare necessary under reasonable specificationrequirements. In particular, itis shown that partial-ordersemantics is necessary to support actionrefinement. | | 出版日期 | Book 1992 | | 關(guān)鍵詞 | Petri-Netze; Semantik; concurrency; concurrent systems; modeling; modular construction; modulare Konstrukt | | 版次 | 1 | | doi | https://doi.org/10.1007/3-540-55767-9 | | isbn_softcover | 978-3-540-55767-8 | | isbn_ebook | 978-3-540-47282-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 1992 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-14 22:16
發(fā)表于 2025-3-21 16:39:33
