抑止弧 释义 inhibitor arc 抑止弧; 行业词典 计算机 inhibitor arc
抑止弧 【よくしこ】 抑止弧 拼音:yì zhǐ hú 英語訳inhibitor arc
带抑止弧的佩特里网 带抑止弧的佩特里网（Petri net with inhibitor arc）是2018年公布的计算机科学技术名词。定义 一种增广佩特里网，其模拟能力等价于图灵机。这种模型在原型佩特里网上的基础上增加了一种抑止弧，从而起到控制使能变迁发生的作用。出处 《计算机科学技术名词 》第三版。
该文定义了一种扩展的时间Petri网--带抑止弧的时间Petri网,这类扩展的时间Petri网可以用作网络协议描述的工具.作为一个例子,笔者在对IEEE802.2 LLC3型协议做简单分析的基础上,给出了一个基于带抑止弧时间Petri网的IEEE802.2 LLC3型协议的形式描述. 著录项...
【计算机科学】_抑止弧_期刊发文热词逐年推荐_20140728 2009年序号1234 科研热词抑止弧执行模型plcpetri网 推荐指数1111
用Pi+演算表示带抑止弧的Petri网 Pi演算和Petri网是常用的两种形式化建模技术,关于他们之间的相互表达问题已经引起了人们的关注.主要目的是研究如何用Pi演算表示一种扩展的Petri网——带抑制弧的Petri... 郭小群,郝克刚,侯红,... - 全国petri网理论与应用学术年会 被引量: 0发表: 0年 ...
本文介绍了利用抑止弧Petri网快速建模来诊断电网故障的方法,描述了故障发生时刻故障元件,保护,断路器之间的关联关系,建立了一种新的诊断模型,并运用矩阵理论推导出模型的诊断结果.与其它故障诊断方法相比,应用抑止弧Petri网能直观地模拟电网故障的动态离散过程,并可以对复杂故障进行分析.抑止弧的引入不但将故障触发,演化的...
基于带抑止弧Petri网的C#多线程程序分析
抑止弧 抑止弧（inhibitor arc）是2018年公布的计算机科学技术名词。定义 增广佩特里网中的一种弧，这种弧只能从库所引向变迁。若库所 s到变迁t有一条抑止弧，那么当s中有标码时，变迁t 就不能发生。出处 《计算机科学技术名词 》第三版。