Browsing LCS Technical Reports (1974 - 2003) by Author "Hack, Michel Henri Théodore"

Now showing items 1-3 of 3

    • Analysis of Production Schemata by Petri Nets 

      Hack, Michel Henri Théodore (1972-02)
      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. ...

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