The set of regions of a condition/event transition system represents all the possible local states of a net system the behaviour of which is specified by the transition system. This set can be endowed with a structure, so as to form an orthomodular partial order. Given such a structure, one can then define another condition/event transition system. We study cases in which this second transition system has the same collection of regions as the first one. When it is so, the structure of regions is called stable. 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. (2019). Two operations for stable structures of elementary regions. In CEUR Workshop Proceedings (pp.36-53). CEUR-WS.
Two operations for stable structures of elementary regions
Adobbati, F;Aubel, AP
2019
Abstract
The set of regions of a condition/event transition system represents all the possible local states of a net system the behaviour of which is specified by the transition system. This set can be endowed with a structure, so as to form an orthomodular partial order. Given such a structure, one can then define another condition/event transition system. We study cases in which this second transition system has the same collection of regions as the first one. When it is so, the structure of regions is called stable. 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.
