Observability analysis of bounded Petri net systems via a matrix approach

DOI10.7641/CTA.2017.60835zbMATH Open1413.93013MaRDI QIDQ4688043FDOQ4688043

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

Publication date: 22 October 2018

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

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)

Cited In (5)

• Modeling, reachability and controllability of bounded Petri nets based on semi-tensor product of matrices
• Observability of continuous Petri nets with infinite server semantics
• A novel matrix approach to observability analysis of finite automata
• Title not available (Why is that?)
• Critical Observability for Automata and Petri Nets

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)