Tools
Tools
Petrenko, A. (1982). Discrete Nets and Their Application to Systems Analysis. IIASA Working Paper. IIASA, Laxenburg, Austria: WP-82-109
Preview |
Text
WP-82-109.pdf Download (186kB) | Preview |
Abstract
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.
| Item Type: | Monograph (IIASA Working Paper) |
|---|---|
| Research Programs: | System and Decision Sciences - Core (SDS) |
| Depositing User: | IIASA Import |
| Date Deposited: | 15 Jan 2016 01:51 |
| Last Modified: | 27 Aug 2021 17:10 |
| URI: | https://pure.iiasa.ac.at/1907 |
Actions (login required)
 |
View Item |