On Orthomodular Posets Generated by Transition Systems

doi:10.1016/j.entcs.2011.01.013

Electronic Notes in Theoretical Computer Science

Volume 270, Issue 1, 10 February 2011, Pages 147-154

https://doi.org/10.1016/j.entcs.2011.01.013 Get rights and content

Under a Creative Commons license

open access

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.

Keywords

concurrency

Petri nets

orthomodular posets

quantum logic

Cited by (0)

¹: This work has been partially supported by MIUR