An optimization-based approach to assess non-interference in labeled and bounded Petri net systems

DOI10.1016/j.nahs.2022.101153zbMath1485.93342OpenAlexW4206810716MaRDI QIDQ2123401

Carlo Motta, Claudio Sterle, Francesco Basile, Gianmaria De Tommasi, Maurizio Boccia

Publication date: 8 April 2022

Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.nahs.2022.101153

zbMATH Keywords

non-interferencelabeled Petri netsMILP and ILP problemssystem privacy

Mathematics Subject Classification ID

Mixed integer programming (90C11) Discrete event control/observation systems (93C65)

Related Items (1)

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

Uses Software

• GLPK
• YALMIP
• XPRESS
• UMDES

Cites Work

• Comparative analysis of related notions of opacity in centralized and coordinated architectures
• Fault detection for discrete event systems using Petri nets with unobservable transitions
• Multilevel transitive and intransitive non-interference, causally
• On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming
• Introduction to Discrete Event Systems
• Noninterference Enforcement via Supervisory Control in Bounded Petri Nets
• Embedded Insertion Functions for Opacity Enforcement
• Control and synthesis of non-interferent timed systems
• Verification of State-Based Opacity Using Petri Nets
• Opacity-Enforcing Supervisory Strategies via State Estimator Constructions
• Structural Analysis of Petri Nets
• Supervisory Control of Petri Nets with Language Specifications
• Lectures on Concurrency and Petri Nets

This page was built for publication: An optimization-based approach to assess non-interference in labeled and bounded Petri net systems