Optimization-based assessment of initial-state opacity in Petri nets (Q2089626): Difference between revisions

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