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.;Aubel A. P.
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.
Capitolo o saggio
regions, orthomodular parial order, stability
English
Transactions on Petri Nets and Other Models of Concurrency XV
Koutny M., Kordon F., Pomello L.
2-feb-2021
2021
978-3-662-63078-5
12530
Springer Science and Business Media Deutschland GmbH
50
74
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].
none
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/324418
Citazioni
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
Social impact