On Orthomodular Posets Generated by Transition Systems

Authors:
Luca Bernardinello;Lucia Pomello;Stefania Rombolí
Affiliations:
Universití degli studi di Milano-Bicocca, DISCo-viale Sarca 336, U14-20126 Milano (Italy);Universití degli studi di Milano-Bicocca, DISCo-viale Sarca 336, U14-20126 Milano (Italy);Universití degli studi di Milano-Bicocca, DISCo-viale Sarca 336, U14-20126 Milano (Italy)
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2011

Citing 2
Cited 0

Partial (set) 2-structures. Part I: basic notions and the representation problem

Acta Informatica
An algebraic model of observable properties in distributed systems

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.