基于矩阵半张量积(semi-tensor product,STP)方法,本文研究了有界Petri网系统稳定性和镇定性问题.首先,在布尔代数框架下,对先前所建立的有界Petri网系统的标识演化方程进行了改进.利用改进后的这个方程,给出了有界Petri网系统平衡点稳定性判别的充要条件.其次,为了研究有界Petri网系统的标识反馈镇定问题,定义了Petri网系统的标识k步前可达性集,并给出了它的一些基本性质.利用这些性质,给出了有界Petri网系统镇定性的判别方法,并设计了最优标识反馈控制器的有效算法.本文的结果是基于矩阵形式的,利用MATLAB的STP工具箱,可将Petri网系统的稳定性和镇定性判别问题转化为简单直接的矩阵计算问题.该方法的优势不仅在于所得到的结果形式简单,而且易于计算机实现.最后,实例说明了该方法的可行性和有效性.