The regions of a condition/event transition system can be used to identify the sequential components of the distributed system it represents. With the aim of analysing such a system with respect to its local states, we study the structure obtained from ordering the regions by set inclusion. The resulting algebraic structure is an orthomodular partial order (omp). Given an omp, one can then define another condition/event transition system, canonical with respect to it. We are interested in characterising cases in which an omp is stable, i.e. it is isomorphic to the omp obtained as the regional structure of its canonical transition system. We propose, to this aim, a composition operation, and a refinement operation for stable orthomodular partial orders, the results of which are stable.
Adobbati, F., Ferigato, C., Gandelli, S., Aubel, A. (2021). Stability of Regional Orthomodular Posets Under Synchronisation and Refinement. In K.F. Koutny M. (a cura di), Transactions on Petri Nets and Other Models of Concurrency XV (pp. 50-74). Springer Science and Business Media Deutschland GmbH [10.1007/978-3-662-63079-2_3].
Stability of Regional Orthomodular Posets Under Synchronisation and Refinement
Adobbati F.;
2021
Abstract
The regions of a condition/event transition system can be used to identify the sequential components of the distributed system it represents. With the aim of analysing such a system with respect to its local states, we study the structure obtained from ordering the regions by set inclusion. The resulting algebraic structure is an orthomodular partial order (omp). Given an omp, one can then define another condition/event transition system, canonical with respect to it. We are interested in characterising cases in which an omp is stable, i.e. it is isomorphic to the omp obtained as the regional structure of its canonical transition system. We propose, to this aim, a composition operation, and a refinement operation for stable orthomodular partial orders, the results of which are stable.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
