Han,晓光;陈增强;刘忠新;张,清 基于STP的有界Petri网可逆性和活性判断方法。 (中文。英文摘要) Zbl 1363.93165号 J.系统。科学。数学。科学。 36,第3期,361-370(2016). 摘要:本文利用矩阵的半传感器积(STP)研究了有界Petri网系统(BPNSs)的可逆性和活性问题。首先,利用BPNS的状态演化方程,分别得到了BPNS可逆性和活性的几个充要条件。本文的新结果是基于矩阵形式的,因此,验证BPNS可逆性和活性的问题被表示为矩阵计算,借助STP的Matlab工具箱,这是一项非常简单直接的工作。该方法的主要优点不仅是形式简单、易于计算,而且在计算机上实现也非常方便。其次,给出了两个例子来说明本文的理论结果,并表明新结果在研究BPNS中的可逆性和活性问题时非常有效。 引用于1文件 MSC公司: 93元65角 离散事件控制/观测系统 37号35 控制中的动态系统 第15页第72页 向量和张量代数,不变量理论 关键词:Petri网;状态演化方程;可逆性;活泼;半张量积 软件:Matlab公司 PDF格式BibTeX公司 XML格式引用 \textit{X.Han}等人,J.系统。科学。数学。科学。36,第361-370号(2016年;兹bl 1363.93165)