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

@@ Property / author @@
-Gianmaria De Tommasi
@@ Property / author: Gianmaria De Tommasi / rank @@
-Normal rank
@@ Property / author @@
+Gianmaria De Tommasi
@@ Property / author: Gianmaria De Tommasi / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GLPK
@@ Property / describes a project that uses: GLPK / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UMDES
@@ Property / describes a project that uses: UMDES / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-86286-2_10
+Normal rank
@@ Property / OpenAlex ID @@
+W4206785611
@@ Property / OpenAlex ID: W4206785611 / rank @@
+Normal rank
@@ 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