On Stability of Regional Orthomodular Posets

The set of regions of a transition system, ordered by set inclusion, is an orthomodular poset, often referred to as quantum logic, here called regional logic. Regional logics, which are known to be regular and rich, are the main subject of investigation in this work. Given a regular, rich logic L, one can build a transition system A, such that L embeds into the regional logic of A. Call a logic stable if the embedding is an isomorphism. We give some necessary conditions for a logic to be stable, and show that under these, the embedding has some stronger property. In particular, we show that any \(\{0,1\}\)-pasting of n stable logics is stable, and that, whenever L contains n maximal Boolean sublogics with pairwise identical intersections, L is stable. The full characterization of the class of stable logics is still an open problem.

[1]  Philippe Darondeau,et al.  Theory of Regions , 1996, Petri Nets.

[2]  Luca Bernardinello,et al.  On Orthomodular Posets Generated by Transition Systems , 2011, Electron. Notes Theor. Comput. Sci..

[3]  C. A. Petri Concepts of Net Theory , 1973, MFCS.

[4]  Luca Bernardinello,et al.  An algebraic model of observable properties in distributed systems , 2003, Theor. Comput. Sci..

[5]  Andrzej Ehrenfeucht,et al.  Partial (set) 2-structures , 1990, Acta Informatica.

[6]  Luca Bernardinello,et al.  Synthesis of Transition Systems from Quantum Logics , 2017, Fundam. Informaticae.

[7]  Luca Bernardinello,et al.  Synthesis of Net Systems , 1993, Application and Theory of Petri Nets.

[8]  G. Rozenberg,et al.  Elementary transition systems , 1990 .

[9]  Philippe Darondeau,et al.  Petri Net Synthesis , 2015, Texts in Theoretical Computer Science. An EATCS Series.

[10]  Sylvia Pulmannová,et al.  Orthomodular structures as quantum logics , 1991 .

[11]  Eduardo D. Sontag,et al.  NET-SYNTHESIS: a software for synthesis, inference and simplification of signal transduction networks , 2008, Bioinform..