Accession Number : AD0780804
Title : Development of Theoretical Foundations for Description and Analysis of Discrete Information Systems.
Descriptive Note : Semi-annual technical rept. no. 1, 1 Dec 73-30 Jun 74.
Corporate Author : MASSACHUSETTS COMPUTER ASSOCIATES INC WAKEFIELD
Report Date : 06 JUN 1974
Pagination or Media Count : 78
Abstract : The first section considers a further development of ideas pertaining to the interpretation of Petri nets. The second section is an attempt to specify the mathematical foundation for the theory. The purpose of this section is purely to set forth the important structural ideas, not to show how these ideas relate to the semantic content they are designed to support. The third section reports on a new theorem due to Fred Commoner, about marked graphs, which has an important bearing on the development of Communication Mechanics.
Descriptors : *Information systems, *Artificial intelligence, Semantics, Syntax, Mathematical logic, Circuits, Graphics, Theorems
Subject Categories : Bionics
Distribution Statement : APPROVED FOR PUBLIC RELEASE