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. © 2011 Elsevier B.V. All rights reserved
Rombola', S., POMELLO CHINAGLIA POMELLO, L., Bernardinello, L. (2011). On orthomodular posets generated by transition systems. In QPL/DCM Joint Workshops on: Quantum Physics and Logic Development of Computational Models, Proceedings (pp.147-154). Elsevier BV [10.1016/j.entcs.2011.01.013].
On orthomodular posets generated by transition systems
ROMBOLA', STEFANIA;POMELLO CHINAGLIA POMELLO, LUCIA;BERNARDINELLO, LUCA
2011
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. © 2011 Elsevier B.V. All rights reserved
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
