RESEARCH IN MACHINE-INDEPENDENT SOFTWARE PROGRAMMING. TASK AREA II. EVENTS AND CONDITIONS: AN APPROACH TO THE DESCRIPTION AND ANALYSIS OF DYNAMIC SYSTEMS.

摘要

The document reports studies on marked graphs and state transition diagrams,both of which are special cases of occurrence systems. It is hoped that the developing ability to analyze these two classes will give the tools with which to attack the analysis of systems which are Petri-net describable. Marked graphs and state transition diagrams isolate two aspects of system description from one another: the aspect which has to do with flow,and the aspect which has to do with function. In the area of marked graphs effort was divided into two parts: semantics and mathematics. In the area of state transition analysis a new technical concept of information was developed which makes it possible to measure information quantities that flow in and out of a state machine,as well as identify the information content which flows in and out at different state transitions.