Showing papers on "Petri net published in 1972"

Analysis of production schemata by petri nets

Abstract: Petri nets provide a powerful graphical tool for representing and analyzing complex concurrent systems. Properties such as hang-up freeness, determinacy, conflict, concurrency and dependency, can be represented and studied. The precise relationship between structural and behavioral properties, and between local and global properties is not well-understood for the most general class of Petri Nets. This thesis presents such results for a restricted class of Petri Nets called Free Choice Petri Nets, and for a corresponding class of systems called Production Schemata. Results on structural constraints guaranteeing global operation, and decompositions of complex systems into meaningful parts, are also presented.

Some steps toward an information system performance theory

Abstract: A means for representing information handling systems at the problem, program, and computer level is presented. This means, Petri Nets, coupled with classical information theory, provides quantitative measures of system capacity and thruput as well measures of "the work done." Concepts of information-capacity and of information-work are derived from these probabilistically labeled Petri Nets based on analogies to thermodynamics. Thruput is measured as information-gain. Comments are made about the possible significance of these concepts, their relationship to classical thermodynamics, and the directions of continuing thought stimulated by these concepts.