论文信息 - On Orthomodular Posets Generated by Transition Systems

On Orthomodular Posets Generated by Transition Systems

We study orthomodular structures formed by some sets of states of finite transition systems. These sets, called regions, can be interpreted as local states of a distributed, concurrent system, that can be modelled by a Petri net. The main result shows that such orthomodular structures have enough elements to represent meets of certain subsets of elements.

Luca Bernardinello | Lucia Pomello | Stefania Rombolà

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

[2] C. A. Petri. State-transition structures in physics and in computation , 1982 .

[3] A. Jadczyk,et al. Causal logic of Minkowski space , 1977 .

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

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

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