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

@@ 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