Observability analysis of bounded Petri net systems via a matrix approach

DOI10.7641/CTA.2017.60835MaRDI QIDQ4688043zbMATHFDO

Authors Na Gao, Qing Zhang, Xiaoguang Han, Zengqiang Chen

Publication date 22 October 2018

zbMATH Keywords

observabilitysemi-tensor product of matricesdiscrete event dynamic systemsbounded Petri net systems

Mathematics Subject Classification ID

Observability (93B07) Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A novel matrix approach to observability analysis of finite automata
• scientific article; zbMATH DE number 1820094
• Diagnosability of Petri nets with observation graphs
• scientific article; zbMATH DE number 6027053
• Observability of continuous Petri nets with infinite server semantics

Cited in

(5)

• scientific article; zbMATH DE number 6027053 (Why is no real title available?)
• Critical Observability for Automata and Petri Nets
• Observability of continuous Petri nets with infinite server semantics
• Modeling, reachability and controllability of bounded Petri nets based on semi-tensor product of matrices
• A novel matrix approach to observability analysis of finite automata

This page was built for publication: Observability analysis of bounded Petri net systems via a matrix approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4688043)