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.
paper
Stable structures, Transition system, Petri nets, Partial order, Refinement operations
English
2019 International Workshop on Algorithms and Theories for the Analysis of Event Data, ATAED 2019
2019
CEUR Workshop Proceedings
2019
2371
36
53
http://ceur-ws.org/
none
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.
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/324420
Citazioni
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
Social impact