Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques (Q6160740): Difference between revisions

Latest revision as of 11:22, 1 August 2024

scientific article; zbMATH DE number 7701200

Language	Label	Description	Also known as
English	Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques	scientific article; zbMATH DE number 7701200

Statements

instance of

scholarly article

0 references

title

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

0 references

0 references

0 references

0 references

0 references

26 June 2023

0 references

zbMATH Keywords

opacity

0 references

labeled Petri nets

0 references

des

0 references

integer linear programming

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1016/j.automatica.2023.110911

0 references

cites work

Multilevel transitive and intransitive non-interference, causally

0 references

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

0 references

On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming

0 references

Noninterference Enforcement via Supervisory Control in Bounded Petri Nets

0 references

The tool TINA – Construction of abstract state spaces for petri nets and time petri nets

0 references

Lectures on Concurrency and Petri Nets

0 references

Fault detection for discrete event systems using Petri nets with unobservable transitions

0 references

Introduction to Petri Nets

0 references

Structural Analysis of Petri Nets

0 references

Introduction to Discrete Event Systems

0 references

On-line verification of current-state opacity by Petri nets and integer linear programming

0 references

Optimization-based assessment of initial-state opacity in Petri nets

0 references

Graph Theoretic Bound on Number of A.C.I.M. for Random Transformation

0 references

Estimation and Inference in Discrete Event Systems

0 references

Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers

0 references

Current-state opacity modelling and verification in partially observed Petri nets

0 references

Q4247289

0 references

Verification of \(K\)-step and infinite-step opacity of bounded labeled Petri nets

0 references

Verification of State-Based Opacity Using Petri Nets

0 references

Comparative analysis of related notions of opacity in centralized and coordinated architectures

0 references

Identifiers

zbMATH Open document ID

1519.93140

0 references

DOI

10.1016/j.automatica.2023.110911

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:6160740

@@ Property / cites work @@
+Multilevel transitive and intransitive non-interference, causally
+Normal rank
@@ Property / cites work @@
+An optimization-based approach to assess non-interference in labeled and bounded Petri net systems
+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 @@
+The tool TINA – Construction of abstract state spaces for petri nets and time 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 @@
+Fault detection for discrete event systems using Petri nets with unobservable transitions
+Normal rank
@@ Property / cites work @@
+Introduction to Petri Nets
@@ Property / cites work: Introduction to Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Structural Analysis of Petri Nets
@@ Property / cites work: Structural Analysis 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 @@
+On-line verification of current-state opacity by Petri nets and integer linear programming
+Normal rank
@@ Property / cites work @@
+Optimization-based assessment of initial-state opacity in Petri nets
+Normal rank
@@ Property / cites work @@
+Graph Theoretic Bound on Number of A.C.I.M. for Random Transformation
+Normal rank
@@ Property / cites work @@
+Estimation and Inference in Discrete Event Systems
+Normal rank
@@ Property / cites work @@
+Verification and enforcement of strong infinite- and \(k\)-step opacity using state recognizers
+Normal rank
@@ Property / cites work @@
+Current-state opacity modelling and verification in partially observed Petri nets
+Normal rank
@@ Property / cites work @@
+Q4247289
@@ Property / cites work: Q4247289 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of \(K\)-step and infinite-step opacity of bounded labeled Petri nets
+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