Browsing Technical and Research Reports by Subject "Teoria : Ciência : Computação"

Now showing items 1-4 of 4

    • Compositional reification of petri nets 

      Menezes, Paulo Fernando Blauth (Instituto Superior Tecnico. Departamento de Matematica, 1994) [Technical and Research Report]
      A categorical semantic domain is constructed for the reification of Petri nets based on graph transformations. First, the graph transformation concept (based on the single pushout approach) is extended for Petri nets viewed ...

    • Nonsequential automata semantics for a concurrent object-based language 

      Menezes, Paulo Fernando Blauth; Sernadas, Amilcar dos Santos Costa; Costa, J. Felix (Instituto Superior Tecnico. Departamento de Matematica, 1995) [Technical and Research Report]
      Nonsequential automata constitute a categoria! semantic domain based on labeled transition system with full concurrency, where synchronization and hiding are functorial anda class of morphisms stands for reification. It ...

    • Refinement mapping for general (discrete event) systems theory 

      Menezes, Paulo Fernando Blauth; Costa, J. Felix; Sernadas, Amilcar dos Santos Costa (Instituto Superior Tecnico. Departamento de Matematica, 1994) [Technical and Research Report]
      A categoria! semantic domain for general (discrete event) systems based on labeled transition systems with full concurrency is constructed, where synchronization and hiding are functorial. Moreover, we claim that, within ...

    • Synchronization in petri nets 

      Menezes, Paulo Fernando Blauth; Costa, J. Felix (Instituto Superior Tecnico. Departamento de Matematica, 1993) [Technical and Research Report]
      In "Petri nets are Monoids" by Meseguer and Montanari, categories for Petri nets with and without markings are introduced, where the categorical product and coproduct express the joint behavior of nets. However, this ...