禁止弧相关论文
本文以基于Ｐｅｔｒｉ网的协议工程工作站为研究目标，阐述协议工程工作站的基本功能，简介ＥＰｒ／ＴＮ网系统，着重探讨作者实现的协议描述分析辅助工具ＰＥＳＡＴ的功能......
文中针对ＥＰｒ／ＴＮ网在可达性分析时出现的冗余并发后继现象，从产生原因入手，给出一种解决算法．并由此深入研究这种扩展Ｐｅｔｒｉ网固有的不完备性，最后提......
本文讨论利用Ｐｅｔｒｉ网实现逻辑问题的推理，首先介绍了逻辑问题的Ｐｅｔｒｉ网模型描述方法，并举例说明了利用矩阵演算实现推理的算法。Ｐｅｔｒｉ网的研究与利用......
利用广义随机Ｐｅｔｒｉ网为基于规则的专家系统建模，将推理过程中规则的匹配—选择—执行循环的各阶段统一于其广义随机Ｐｅｔｒｉ网模型中，通过对该模型......
对混杂系统的建模提出了一种新的方法，即：连续变量动态系统用扩展的线性连续Ｐｅｔｒｉ网（ＬＣＰＮ）建模，离散事件动态系统用离散Ｐｅｔｒｉ网建模。该方法不仅简化了......
根据维修资源管理方式,结合时间有色Petri网理论,提出了带禁止弧的时间有色Petri网,并利用带禁止弧的时间有色Petri网建立了维修资......
期刊
用带禁止/容许弧的增广Petri网结合自控网技术构建一类模拟六相位的交通信号控制系统。系统设有专用的行人相位以分离行人与行驶车......
用带禁止/容许弧的自控网构建一类路灯故障检测系统模型,此系统模型适用于描述对按线性编号的故障路灯设备进行检测的过程,能够准......
用带禁止/容许弧的增广Petri网构建一类带封锁机制的数据库并发控制模型,此模型适用于描述多个进程并发访问多个共享资源,采用两段......
以连续Petri网概念为基础，引入带弧权和禁止弧的扩展连续Petri网，将扩展连续Petri网作为工具对随机数生成器进行研究。选用随机数学......
随着爆炸恐怖袭击事件的增多,人们对排爆机器人的需求更为迫切,要求也更高;此外,排爆机器人的复杂度也逐渐增加。为研制满足要求的......
