Optimization-based assessment of initial-state opacity in Petri nets

DOI10.1007/978-3-030-86286-2_10zbMath1497.90228OpenAlexW4206785611MaRDI QIDQ2089626

Carlo Motta, Alberto Petrillo, Stefania Santini, Gianmaria De Tommasi

Publication date: 23 October 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-86286-2_10

zbMATH Keywords

Petri netsopacityILP problems

Mathematics Subject Classification ID

Applications of mathematical programming (90C90) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques

Uses Software

• GLPK
• UMDES

Cites Work

• Comparative analysis of related notions of opacity in centralized and coordinated architectures
• On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming
• Decidability of opacity verification problems in labeled Petri net systems
• Introduction to Discrete Event Systems
• Noninterference Enforcement via Supervisory Control in Bounded Petri Nets
• Embedded Insertion Functions for Opacity Enforcement
• Opacity-Enforcing Supervisory Strategies via State Estimator Constructions
• Diagnosis of Petri Nets
• Lectures on Concurrency and Petri Nets

This page was built for publication: Optimization-based assessment of initial-state opacity in Petri nets