×

基于STP的有界Petri网可逆性和活性判断方法。 (中文。英文摘要) Zbl 1363.93165号

摘要:本文利用矩阵的半传感器积(STP)研究了有界Petri网系统(BPNSs)的可逆性和活性问题。首先,利用BPNS的状态演化方程,分别得到了BPNS可逆性和活性的几个充要条件。本文的新结果是基于矩阵形式的,因此,验证BPNS可逆性和活性的问题被表示为矩阵计算,借助STP的Matlab工具箱,这是一项非常简单直接的工作。该方法的主要优点不仅是形式简单、易于计算,而且在计算机上实现也非常方便。其次,给出了两个例子来说明本文的理论结果,并表明新结果在研究BPNS中的可逆性和活性问题时非常有效。

MSC公司:

93元65角 离散事件控制/观测系统
37号35 控制中的动态系统
第15页第72页 向量和张量代数,不变量理论

软件:

Matlab公司
PDF格式BibTeX公司 XML格式引用