有界Petri网的可逆性和活性的STP判别方法 |
| |
摘 要: | 基于矩阵半张量积(the semi-tensor product,STP)方法研究了有界Petri网系统的可逆性和活性问题.首先,利用先前所建立的有界Petri网系统的状态演化方程,分别给出了有界Petri网系统的可逆性和活性判别的充要条件.文章的结果是基于矩阵形式的,利用Matlab的STP工具箱,可将Petri网系统的可逆性和活性判别问题转化为简单直接的矩阵计算问题.所提出的方法不仅形式简单、计算方便,而且易于计算机实现.其次,两个实例说明了文章所提出方法的可行性和有效性.
|
本文献已被 CNKI 等数据库收录! |
|