基于时延Petri网的DEDS的代数模型  

ALGEBRAIC MODELS FOR TIMED PETRI NET BASED DEDS

作　　者：赵正义[1] 宋文忠[1] 

机构地区：[1]东南大学自动化研究所

出　　处：《自动化学报》1995年第6期725-729,共5页Acta Automatica Sinica

摘　　要：用一种新的算子建立了结构无竞争时延Ｐｅｔｒｉ网和资源分配型时延Ｐｅｔｒｉ网的动态方程，为该类系统的分析和控制提供了研究工具。Structurally no-competing timed Petri nets and a kind of competing Petri nets concerned in this article are more general classes of DEDS. However, there is not a suitable model for these systems. In this article, various definitions of timing in Petri nets are unified, and then with the operator newly proposed by the authors,time domain dynamic equations are built for, which provide fundamental tools for further research of these classes of DEDS.

关 键 词：PETRI网 代数模型 动态方程 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]