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. The 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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 01, 1972
Accession Number
AD0740320

Entities

People

  • Michel Henri Theodore Hack

Organizations

  • Massachusetts Institute of Technology

Tags

Communities of Interest

  • Cyber
  • Human Systems

DTIC Thesaurus Topics

  • Air Force Facilities
  • Algorithms
  • Automata
  • Automata Theory
  • Complex Systems
  • Computations
  • Decomposition
  • Electrical Engineering
  • Engineering
  • Information Systems
  • Mathematical Analysis
  • Multithreading
  • New York
  • Parallel Computing
  • Petri Nets
  • Production
  • Theses

Readers

  • Database Systems and Applications
  • Mathematical Modeling and Probability Theory.