A category of transition systems and its relations with orthomodular posets

  • Luca Bernardinello
  • Lucia Pomello
Contributed Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1295)


Two categories are defined and their relationships are studied. The objects of the first category, PCOS, are prime coherent orthomodular posets, which have been mainly studied in connection with quantum logic. Morphisms in PCOS are homomorphisms in the usual sense, preserving order and a binary relation, named compatibility.

The second category, denoted by LETS, comprises the class of labelled transition systems that can be generated, up to isomorphism, by case graphs of CE systems. Two contravariant functors linking the two categories are defined. The functor from LETS to PCOS is given by the calculus of regions, according to Ehrenfeucht and Rozenberg. The functor from PCOS to LETS defines a procedure which builds a labelled transition system, given an abstract set of regions with their order relation. We show that the two functors form an adjunction.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BD96]
    E. Badouel, P. Darondeau, A survey on net synthesis, In Borne et al., Symposium on Discrete Events and Manufacturing Systems, CESA '96 IMACS Multiconference, Lille, France, July 1996, pp. 309–316.Google Scholar
  2. [Ber96]
    L. Bernardinello, Propriétés algébriques et combinatoires des régions dans les graphes, et leurs application á la synthèse de réseaux, PhD thesis, Université de Rennes I, to be discussed, 1996.Google Scholar
  3. [BF95]
    L. Bernardinello, C. Ferigato, Automata and Quantum Logics, DSI Int.Rep., n. 38–95, abstract in 10th Int.Congress of Logic, Methodology and Philosophy of Science, Florence, 1995.Google Scholar
  4. [Fer96]
    C. Ferigato, Note su alcune Proprietà Algebriche, Logiche, Topologiche della Concorrenza, Tesi di Dottorato di Ricerca in Informatica, Università degli Studi di Milano, 1996.Google Scholar
  5. [ER90]
    A. Ehrenfeucht, G. Rozenberg, Partial (set) 2-Structures I & II, Acta Informatica, 27, 4, pp. 315–368, 1990.Google Scholar
  6. [Hug89]
    R.I.G. Hughes, The structure and Interpretation of Quantum Mechanics, Harvard University Press, 1989.Google Scholar
  7. [Mac71]
    S. MacLane, Categories for the working mathematician, Graduate Text in Mathematics 5, Springer-Verlag, 1971.Google Scholar
  8. [NRT92]
    M. Nielsen, G. Rozenberg, P.S. Thiagarajan, Elementary Transition Systems, in Theoretical Computer Science 96 (1), pp. 3–33, 1992.CrossRefGoogle Scholar
  9. [Pet73]
    C.A. Petri, Concepts in net theory, in MFCS'73, Mathematical Institute of Slovak Academy of Sciences, pp. 137–146, 1973.Google Scholar
  10. [Pet96]
    C.A. Petri, Nets, time and space, in TCS 153 (1–2), pp.3–48, 1996.CrossRefGoogle Scholar
  11. [Pra94]
    V.R. Pratt, Chu spaces: Automata with quantum aspects, Proc. PhysComp'94, IEEE 1994.Google Scholar
  12. [PP91]
    P. Pták, S. Pulmannová, Orthomodular structures as Quantum Logics, Kluwer Academic Publishers, 1991.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Luca Bernardinello
    • 1
  • Lucia Pomello
    • 1
  1. 1.Dipartimento di Scienze dell'InformazioneUniversità di MilanoMilanoItaly

Personalised recommendations