Abstract
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.
This work was partially supported by the MURST
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
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.
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.
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.
C. Ferigato, Note su alcune Proprietà Algebriche, Logiche, Topologiche della Concorrenza, Tesi di Dottorato di Ricerca in Informatica, Università degli Studi di Milano, 1996.
A. Ehrenfeucht, G. Rozenberg, Partial (set) 2-Structures I & II, Acta Informatica, 27, 4, pp. 315–368, 1990.
R.I.G. Hughes, The structure and Interpretation of Quantum Mechanics, Harvard University Press, 1989.
S. MacLane, Categories for the working mathematician, Graduate Text in Mathematics 5, Springer-Verlag, 1971.
M. Nielsen, G. Rozenberg, P.S. Thiagarajan, Elementary Transition Systems, in Theoretical Computer Science 96 (1), pp. 3–33, 1992.
C.A. Petri, Concepts in net theory, in MFCS'73, Mathematical Institute of Slovak Academy of Sciences, pp. 137–146, 1973.
C.A. Petri, Nets, time and space, in TCS 153 (1–2), pp.3–48, 1996.
V.R. Pratt, Chu spaces: Automata with quantum aspects, Proc. PhysComp'94, IEEE 1994.
P. Pták, S. Pulmannová, Orthomodular structures as Quantum Logics, Kluwer Academic Publishers, 1991.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bernardinello, L., Pomello, L. (1997). A category of transition systems and its relations with orthomodular posets. In: Prívara, I., Ružička, P. (eds) Mathematical Foundations of Computer Science 1997. MFCS 1997. Lecture Notes in Computer Science, vol 1295. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0029957
Download citation
DOI: https://doi.org/10.1007/BFb0029957
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63437-9
Online ISBN: 978-3-540-69547-9
eBook Packages: Springer Book Archive