We introduce two families of relations on the transitions of a Petri net. The first one is an adaptation of the “reveals” relation previously defined on occurrence nets for fault diagnosis applications. Here, this relation is considered for modeling positive information flow, which arises when the occurrence of a transition gives the information that another transition already occurred or will occur. The second one, called “excludes”, is presented for modeling negative information flow, which arises when the occurrence of a transition gives information on the nonoccurrence of another transition, in the past or in the future.We consider the notion of non-interference proposed in the literature for formalizing security in distributed systems. On the basis of reveals and excludes relations we propose a collection of new notions of non-interference for ordinary Petri nets and compare them with notions already proposed in the literature.

Bernardinello, L., Kilinc, G., Pomello, L. (2016). Non-interference notions based on reveals and excludes relations for petri nets. TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY, 9930, 49-70 [10.1007/978-3-662-53401-4_3].

Non-interference notions based on reveals and excludes relations for petri nets

Bernardinello, L
;
KILINC, GORKEM;Pomello, L
2016

Abstract

We introduce two families of relations on the transitions of a Petri net. The first one is an adaptation of the “reveals” relation previously defined on occurrence nets for fault diagnosis applications. Here, this relation is considered for modeling positive information flow, which arises when the occurrence of a transition gives the information that another transition already occurred or will occur. The second one, called “excludes”, is presented for modeling negative information flow, which arises when the occurrence of a transition gives information on the nonoccurrence of another transition, in the past or in the future.We consider the notion of non-interference proposed in the literature for formalizing security in distributed systems. On the basis of reveals and excludes relations we propose a collection of new notions of non-interference for ordinary Petri nets and compare them with notions already proposed in the literature.
Articolo in rivista - Articolo scientifico
Excludes; Information flow; Non-interference; Petri nets; Reveals; Unfolding;
information flow, non-interference, reveals, excludes, Petri nets, unfolding
English
49
70
22
http://hdl.handle.net/10281/99608
Bernardinello, L., Kilinc, G., Pomello, L. (2016). Non-interference notions based on reveals and excludes relations for petri nets. TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY, 9930, 49-70 [10.1007/978-3-662-53401-4_3].
Bernardinello, L; Kilinc, G; Pomello, L
File in questo prodotto:
File Dimensione Formato  
BKP_ToPNoC2016.pdf

Solo gestori archivio

Tipologia di allegato: Publisher’s Version (Version of Record, VoR)
Dimensione 1.13 MB
Formato Adobe PDF
1.13 MB Adobe PDF   Visualizza/Apri   Richiedi una copia

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/146399
Citazioni
  • Scopus 3
  • ???jsp.display-item.citation.isi??? 6
Social impact