无输入连续事件图的代数研究方法

针对一类无输入的连续Petri网———连续事件图,以变迁消费的标志数为状态变量,推导出了一组描述其演变过程的极小代数线性方程,并给出了方程组的显式解.连续事件图是延时事件图的极限形式,因而这组方程既能对离散系统近似建模,又能描述连续变量的变化过程.对于带输入的连续事件图,可以通过将其反馈在极小代数框架下研究其闭环系统.最后通过一个简单例子说明了该方法对于带输入连续事件图进行反馈控制的有效性.