高娜;韩晓光;陈增强;张青 用矩阵方法分析有界Petri网系统的可观测性。 （中文。英文摘要） Zbl 1413.93013号 控制理论应用。 35，编号1，71-78（2018）. 摘要：Petri网和有限自动机是离散事件动态系统的两种主要研究内容。Petri网的可观测性分析和判断对于实际系统的设计、优化、监测和控制至关重要，但现有研究文献中不存在可观测性的定量充要条件。本文利用矩阵方法研究了输出有界Petri网系统的可观测性问题。首先，介绍了几种不同的输出Petri网。其次，利用矩阵的半张量积，以线性方程的形式建立了输出有界Petri网系统动力学行为的数学模型。第三，介绍了初始标记和当前标记的两种不同的可观测性定义。最后，首先给出了初始标记和当前标记的矩阵形式的充要条件。该方法实现了有界Petri网系统可观测性的矩阵运算，且易于计算机实现。 MSC公司： 93个B07 可观察性 93元65角 离散事件控制/观测系统 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：离散事件动态系统;可观测性;有界Petri网系统;矩阵的半张量积 PDF格式BibTeX公司 XML格式引用 \textit{N.Gao}等，控制理论应用。35、第1号、第71--78号（2018；Zbl 1413.93013） 全文： 内政部