Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets

DOI10.1007/978-3-662-53401-4_3zbMath1366.68200OpenAlexW2407994015MaRDI QIDQ5268427

Luca Bernardinello, Görkem Kılınç, Lucia Pomello

Publication date: 20 June 2017

Published in: Transactions on Petri Nets and Other Models of Concurrency XI (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-53401-4_3

zbMATH Keywords

Petri netsunfoldingnon-interferenceinformation flowexcludesreveals

Mathematics Subject Classification ID

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

Related Items (1)

Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Branching processes of Petri nets
• Deciding Selective Declassification of Petri Nets
• On Intransitive Non-interference in Some Models of Concurrency
• Non-interference by Unfolding
• Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets
• Building Occurrence Nets from Reveals Relations
• Lectures on Concurrency and Petri Nets
• Applications and Theory of Petri Nets 2004

This page was built for publication: Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets