A category of transition systems and its relations with orthomodular posets
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.
- [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
- [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
- [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
- [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
- [ER90]A. Ehrenfeucht, G. Rozenberg, Partial (set) 2-Structures I & II, Acta Informatica, 27, 4, pp. 315–368, 1990.Google Scholar
- [Hug89]R.I.G. Hughes, The structure and Interpretation of Quantum Mechanics, Harvard University Press, 1989.Google Scholar
- [Mac71]S. MacLane, Categories for the working mathematician, Graduate Text in Mathematics 5, Springer-Verlag, 1971.Google Scholar
- [Pet73]C.A. Petri, Concepts in net theory, in MFCS'73, Mathematical Institute of Slovak Academy of Sciences, pp. 137–146, 1973.Google Scholar
- [Pra94]V.R. Pratt, Chu spaces: Automata with quantum aspects, Proc. PhysComp'94, IEEE 1994.Google Scholar
- [PP91]P. Pták, S. Pulmannová, Orthomodular structures as Quantum Logics, Kluwer Academic Publishers, 1991.Google Scholar