| 来源类型 | Monograph (IIASA Working Paper) |
| 规范类型 | 论文 |
| Discrete Nets and Their Application to Systems Analysis. | |
| Petrenko A | |
| 发表日期 | 1982 |
| 出版者 | IIASA, Laxenburg, Austria: WP-82-109 |
| 出版年 | 1982 |
| 语种 | 英语 |
| 摘要 | To assist in the design and the analysis of complex discrete systems exhibiting concurrency, formal techniques are needed which comprehend a hierarchical representation of such systems and a rigorous analysis of their properties. This paper presents the main axiom and definitions of uninterpreted models named discrete nets, and demonstrates by examples the usefulness of proposed formalization. |
| 主题 | System and Decision Sciences - Core (SDS) |
| URL | http://pure.iiasa.ac.at/id/eprint/1907/ |
| 来源智库 | International Institute for Applied Systems Analysis (Austria) |
| 资源类型 | 智库出版物 |
| 条目标识符 | http://119.78.100.153/handle/2XGU8XDN/122554 |
| 推荐引用方式 GB/T 7714 | Petrenko A. Discrete Nets and Their Application to Systems Analysis.. 1982. |
| 条目包含的文件 | ||||||
| 文件名称/大小 | 资源类型 | 版本类型 | 开放类型 | 使用许可 | ||
| WP-82-109.pdf（182KB） | 智库出版物 | 限制开放 | CC BY-NC-SA | 浏览 | ||
| 个性服务 |
| 推荐该条目 |
| 保存到收藏夹 |
| 导出为Endnote文件 |
| 谷歌学术 |
| 谷歌学术中相似的文章 |
| [Petrenko A]的文章 |
| 百度学术 |
| 百度学术中相似的文章 |
| [Petrenko A]的文章 |
| 必应学术 |
| 必应学术中相似的文章 |
| [Petrenko A]的文章 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
