期刊文献+

二次检索

题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

年份

共找到2篇文章
< 1 >
每页显示 20 50 100
一类扩展Petri网的建模与仿真分析 被引量:8
1
作者 桂志波 郑应平 《系统仿真学报》 CAS CSCD 1996年第2期54-62,共9页
本文定义了一类禁止弧/容许弧基本Petri网及其变迁的引发规则,构造了它的三个标志矩阵(禁止弧、容许弧、自环),给出了它的关联矩阵和状态方程;基于此,形式化分析了该网模型,并由此构造出适于计算机仿真分析的启发式算法;
关键词 PETRI网 建模 仿真 计算机网络
下载PDF
弱引发规则二态加时变迁Petri网定性分析
2
作者 桂志波 郑应平 杨成梧 《信息与控制》 CSCD 北大核心 1998年第1期16-22,共7页
提出了一种弱引发规则二态加时变迁Petri网(简称WTTPN),它比Ramchandani的二态加时变迁Petri网(简称TTPN)更适于建模分析冲突结构;平行于无时间约束Petri网,给出了WTTPN的形式化描述与... 提出了一种弱引发规则二态加时变迁Petri网(简称WTTPN),它比Ramchandani的二态加时变迁Petri网(简称TTPN)更适于建模分析冲突结构;平行于无时间约束Petri网,给出了WTTPN的形式化描述与分析框架,据此可对它进行定性分析;进而,讨论了WTTPN及其基网系统之间关系,证明了它们关于活性、有界(安全)性和可逆性等价. 展开更多
关键词 弱引发规则 PETRI网 定性分析 WTTPN 网络理论
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部