| 书目名称 | Modular Construction and Partial Order Semantics of Petri Nets |
| 编辑 | W. Vogler |
| 视频video | |
| 丛书名称 | 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 |
| 关键词 | 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 |
发表于 2025-3-21 16:39:33
