The MIT Libraries is completing a major upgrade to DSpace@MIT. Starting May 5 2026, DSpace will remain functional, viewable, searchable, and downloadable, however, you will not be able to edit existing collections or add new material. We are aiming to have full functionality restored by May 18, 2026, but intermittent service interruptions may occur. Please email dspace-lib@mit.edu with any questions. Thank you for your patience as we implement this important upgrade.

MAC Technical Reports (1963 - 1974): Recent submissions

Now showing items 1-3 of 119

    • Decidability Questions for Petri Nets 

      Hack, Michel Henri Théodore (1976-06)
      An understanding of the mathematical properties of Petri Nets is essential when one wishes to use Petri Nets as an abstract model for concurrent systems. The decidability of various problems which arise in this context ...

    • Petri Net Language 

      Hack, Michel Henri Théodore (1976-03)
      In a labeled Petri Net we assign symbols from an alphabet to some or all the transitions of a Petri Net. To each firing sequence of such a Labeled Petri Net corresponds to a string over the alphabet. We study the languages ...

    • Some Data Base Applications of Constraint Expressions 

      Grossman, Richard Weaver (1976-02)
      This report presents a novel network-like representation for information, called "constraint expressions" (CE). CE makes use of some of the knowledge-representation techniques developed by Artificial Intelligence research.