Computing a parametric reveals relation for bounded equal-conflict Petri nets

DOI10.1007/978-3-662-68191-6_3MaRDI QIDQ6550563FDOQ6550563

Authors: Federica Adobbati, Luca Bernardinello, Görkem Kılınç Soylu, Lucia Pomello 

Publication date: 5 June 2024

Recommendations

• Non-interference notions based on reveals and excludes relations for Petri nets
• Computing the reveals relation in occurrence nets
• Computing the reveals relation in occurrence nets
• Non-interference by unfolding
• Gained and Excluded Private Actions by Process Observations

zbMATH Keywords

distributed systemsinformation flownoninterferencebounded equal-conflict Petri netsreveals relations

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Free Choice Petri Nets
• The non-sequential behaviour of Petri nets
• On the border of causality: contact and confusion
• Branching processes of Petri nets
• An improvement of McMillan's unfolding algorithm
• Building occurrence nets from reveals relations
• Sequential and concurrent behaviour in Petri net theory
• Noninterference for concurrent programs and thread systems
• The Petri net markup language
• Concurrent and maximally concurrent evolution of nonsequential systems
• Title not available (Why is that?)
• Non-interference by unfolding
• Weak observable liveness and infinite games on finite graphs
• Structural non-interference in elementary and trace nets
• Lectures on Concurrency and Petri Nets
• A two-player asynchronous game on fully observable Petri nets
• Noninterference Enforcement via Supervisory Control in Bounded Petri Nets
• Non-interference notions based on reveals and excludes relations for Petri nets

This page was built for publication: Computing a parametric reveals relation for bounded equal-conflict Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6550563)