Computer Engineering / Bilgisayar Mühendisliği

Permanent URI for this collectionhttps://hdl.handle.net/11147/10

Browse

Filters

20241

Settings

Access type: Metadata onlyInstitution Author: search.filters.institutionAuthor.Kılınç Soylu, Görkem

Search Results

Now showing 1 - 1 of 1
  • Conference Object
    Citation - Scopus: 1
    Computing a Parametric Reveals Relation for Bounded Equal-Conflict Petri Nets
    (Springer, 2024) Adobbati, Federica; Bernardinello, Luca; Kılınç Soylu, Görkem; Pomello, Lucia
    In a distributed system, in which an action can be either “hidden” or “observable”, an unwanted information flow might arise when occurrences of observable actions give information about occurrences of hidden actions. A collection of relations, i.e. reveals and its variants, is used to model such information flow among transitions of a Petri net. This paper recalls the reveals relations defined in [3], and proposes an algorithm to compute them on bounded equal-conflict PT systems, using a smaller structure than the one defined in [3]. © 2024, The Author(s), under exclusive license to Springer-Verlag GmbH, DE, part of Springer Nature.