Orthomodular Lattices in Occurrence Nets
In this paper, we study partially ordered structures associated to occurrence nets. An occurrence net is endowed with a symmetric, but in general non transitive, concurrency relation. By applying known techniques in lattice theory, from any such relation one can derive a closure operator, and then an orthocomplemented lattice. We prove that, for a general class of occurrence nets, those lattices, formed by closed subsets of net elements, are orthomodular. A similar result was shown starting from a simultaneity relation defined, in the context of special relativity theory, on Minkowski spacetime. We characterize the closed sets, and study several properties of lattices derived from occurrence nets; in particular we focus on properties related to K-density. We briefly discuss some variants of the construction, showing that, if we discard conditions, and only keep the partial order on events, the corresponding lattice is not, in general, orthomodular.
KeywordsClosure Operator Maximal Clique Minkowski Spacetime Orthomodular Lattice Algebraic Lattice
Unable to display preview. Download preview PDF.
- 1.Petri, C.A.: Non-sequential processes. Technical Report ISF-77–5, GMD Bonn (1977) Translation of a lecture given at the IMMD Jubilee Colloquium on ‘Parallelism in Computer Science’, Universität Erlangen–Nürnberg (June 1976)Google Scholar
- 3.Wolfram, S.: A New Kind of Science. Wolfram Media (2002)Google Scholar
- 4.Petri, C.A.: Rechnender netzraum. Spektrum der Wissenschaft, Spezial 3/07: Ist das Universum ein Computer? 16–19 (2007)Google Scholar
- 10.Fernandez, C., Thiagarajan, P.S.: A lattice theoretic view of k-density. Arbeitspapiere der GMD, n. 76 (1983)Google Scholar
- 15.Birkhoff, G.: Lattice Theory, 3rd edn. American Mathematical Society (1979)Google Scholar
- 17.Petri, C.A.: Concepts of net theory. In: Mathematical Foundations of Computer Science: Proc. of Symposium and Summer School, High Tatras, September 3–8, 1973, pp. 137–146. Math. Inst. of the Slovak Acad. of Sciences (1973)Google Scholar