Verification of \(K\)-step and infinite-step opacity of bounded labeled Petri nets (Q2125506): Difference between revisions

@@ 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.1016/j.automatica.2022.110221
+Normal rank
@@ Property / OpenAlex ID @@
+W4220734997
@@ Property / OpenAlex ID: W4220734997 / 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 @@
+On-line verification of current-state opacity by Petri nets and integer linear programming
+Normal rank
@@ Property / cites work @@
+A distributed approach for fault detection and diagnosis based on time Petri nets
+Normal rank
@@ Property / cites work @@
+Comments on: ``A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers''
+Normal rank
@@ Property / cites work @@
+Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem
+Normal rank
@@ Property / cites work @@
+Verification of Infinite-Step Opacity and Complexity Considerations
+Normal rank
@@ Property / cites work @@
+Verification of State-Based Opacity Using Petri Nets
+Normal rank
@@ Property / cites work @@
+Comparative analysis of related notions of opacity in centralized and coordinated architectures
+Normal rank
@@ Property / cites work @@
+A new approach for the verification of infinite-step and \(K\)-step opacity using two-way observers
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2125506