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
Bernardinello, L., POMELLO CHINAGLIA POMELLO, L., Rombola', S. (2011). On orthomodular posets generated by transition systems. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 270(1), 147-154 [10.1016/j.entcs.2011.01.013].
On orthomodular posets generated by transition systems
BERNARDINELLO, LUCA;POMELLO CHINAGLIA POMELLO, LUCIA;ROMBOLA', STEFANIA
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
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
