Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
423211 | Electronic Notes in Theoretical Computer Science | 2011 | 8 Pages |
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics