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

[img]
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: 22 Jul 2016 01:56
URI: http://pure.iiasa.ac.at/1907

Actions (login required)

View Item View Item

International Institute for Applied Systems Analysis (IIASA)
Schlossplatz 1, A-2361 Laxenburg, Austria
Phone: (+43 2236) 807 0 Fax:(+43 2236) 71 313