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

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

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

Publication date: 5 June 2024

zbMATH Keywords

distributed systemsnoninterferenceinformation flowbounded equal-conflict Petri netsreveals relations

Mathematics Subject Classification ID

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

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