Current-state opacity modelling and verification in partially observed Petri nets
type: Item
instance of: scholarly article
title: Current-state opacity modelling and verification in partially observed Petri nets
zbMATH Open document ID: 1440.93024
author: Ikram Saadaoui
author: Zhiwu Li
author: NaiQi Wu
published in: Automatica
publication date: 2020-04-14T00:00:00Z
Mathematics Subject Classification ID: 93B03
Mathematics Subject Classification ID: 93C65
Mathematics Subject Classification ID: 93-10
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 90C10
zbMATH DE Number: 7189222
zbMATH Keywords: opacity
zbMATH Keywords: Petri net
zbMATH Keywords: secret behaviour
zbMATH Keywords: observable behaviour
zbMATH Keywords: integer linear programming
describes a project that uses: Choco
describes a project that uses: AIMMS
MaRDI profile type: Publication
full work available at URL: j.automatica.2020.108907
OpenAlex ID: W3011778292
cites work: Multilevel transitive and intransitive non-interference, causally
cites work: Modelling opacity using Petri nets
cites work: Fault detection for discrete event systems using Petri nets with unobservable transitions
cites work: On-line verification of current-state opacity by Petri nets and integer linear programming
cites work: Probabilistic system opacity in discrete event systems
cites work: Fault diagnosis in discrete event systems modeled by partially observed Petri nets
cites work: Verification of initial-state opacity in security applications of discrete event systems
cites work: Current-State Opacity Formulations in Probabilistic Finite Automata
cites work: Q4247289
cites work: Decidability of opacity verification problems in labeled Petri net systems
cites work: Verification of State-Based Opacity Using Petri Nets
cites work: Comparative analysis of related notions of opacity in centralized and coordinated architectures
DOI: 10.1016/J.AUTOMATICA.2020.108907
description: scientific article; zbMATH DE number 7189222