Macro E-Nets for Representation of Parallel Systems

Abstract

An extension of Petri nets called evaluation nets (E-nets) has been developed for use in representation of computer systems. These lead to interpreted graphs for use in human communication and to machine-interpretable descriptions. They may be used as aids in development of simulations and planning of measurements for examining characteristics such as throughput, turnaround time, and utilization of resources. This paper reviews the five primitives used to form nets expressing logical interactions among tokens (or tasks) flowing through the net and system resources represented by the net. Inherent in the use of the primitives is the ability to express time delays associated with the flow of tokens through the network and the modification of attributes of these tokens. This paper extends previous work on evaluation nets through the use of macro nets that represent structures made up of the primitives, allowing compression of the net for easier understanding. The macro nets are ``open-ended'' in the sense that the user can develop new macros to suit the needs of a particular study. Evaluation nets can be used informally like flow charts or block diagrams, although they provide greater power of expression than either. They can also be used more formally to develop machine aids, e.g., for on-line editing of evaluation nets or for development of simulation programs. Some examples of evaluation nets are provided that model a CDC 6400 and the cooperation of n independent sequential processes.