Discrete Nets and Their Application to Systems Analysis

Petrenko, A. (1982). Discrete Nets and Their Application to Systems Analysis. IIASA Working Paper. IIASA, Laxenburg, Austria: WP-82-109

[thumbnail of WP-82-109.pdf]

Download (186kB) | Preview


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 View Item