初始标识相关论文
离散事件系统(discrete event system,DES)是一类状态会发生变化的动态系统。随着时代的发展,信息化水平不断提高,DES的规模不断增大......
研究随机 Petri网运行机制 ,提出了平均流量的概念 ,并利用流量平衡的原理 ,给出计算 Petri网各状态出现概率的算法。提出建立编组......
本文基于Petri网建模的混合法,建立了叶片FMS控制系统活的、安全和可逆的Petri同模型,应用该模型开发了叶片FMS控制系统仿真器,可成功地避免叶片FMS的死锁......
本文介绍了时间Petri网的分析工具PANT.我们将首先探讨PANT所处理Petri网的结构以及它所表现出的动态行为,并构造出相应的分析算法;其次,我们将通过求解并......
基于Petri网提出一套完整的并发系统需求说明、建模、形式验证的方法。建立概念模型,用于需求规格说明,包括功能图、资源图和约束集。给出......
本文首先给出通信活动的建模要求,接着对PN、TPN和STPN进行分析,定性地证明了STPN适合于实时通信活动建模,然后用STPN详细地对FIP进行了建模、定性分析和定......
本文提出一种新型Petri同一规则Petri网(RPN一Rule Petri Net),对产生式知识系统进行有效的表达和提纯,并给出了对知识的冗余、矛......
数据键路层位于网络体系结构第二层,向网络层提供统一界面。利用Petri网对基本的数据链路层协议建模。根据变迁设定原则,将逻辑状......
本文把面向对象的思想同扩充了的Petri网相结合,构造了基于模块对象的Petri网模拟方法MOPNet,用于并发系统的建模,并给出了CAI通信模型设计和实现的一个应......
Petri网已经被成功地用来描述、验证及评价网络通信协议。本文阐述了扩充Petri网在研究CSMA/CD协议方面的应用。扩充是在两个方面......
Petri网是表示优先级约束和计算装配序列的有效工具。将Petri网和启发式搜索相结合,给出了一种新的装配序列规划方法。该方法用Pet......
针对之前构建的水下机器人体系结构仅停留在系统结构框图层面的不足,本文对其进行建模并对它的正确性进行理论分析.首先简要地介绍......
本文首先引入了时延网和闭网的概念,证明了Petri网N为时延网的充要条件是其闭网为常返网;然后,从时延网模型出发,讨论了变迁发射时......
基于Petri网基本原理,对原有赋时Petri网和着色Petri网加以扩充,提出一种新型的带决策的扩展Petri网(DEPN)方法,并对DEPN模型的建模和应用等问题进行了探讨.文末针对一......
在弱引发规则下用二态加时Petri网建模、分析一类具确定性时间和冲突结构的并发系统;联系柔性制造系统、C3I系统这类实时并发系统的逻辑验证......
C3I系统对现代化战争的支持越来越大,许多发达国家均投入大量人力和物力来提高C3I系统的性能,但是系统多维性和复杂性使得系统的建模......
Petri网作为目前离散动态系统建模中最活跃的建模技术之一,不仅有充分的模拟能力和丰富的分析方法,还便于使用,因而特别适合于模拟方面的研......
文中提出的弱引发三态加时 Petri网比现有三态加时变迁 Petri网更适于模拟分析一类具确定性时间约束和冲突结构的并发系统 ;给出其......
自动制造系统(AMSs:AutomatedManufacturingSystems)Petri网控制器形式化设计是AMSsPetri网控制器自动设计的理论基础。本文以AMSs计......
建立了GPIB高速数据传输协议的Petri网模型,用可达树方法分析了协议Petri网模型的动态性质,从而证明了协议的可靠性和合理性.......
针对赋时有界Petri网模型下柔性制造系统的生产调度问题,给出了有界Petri网的零压缩二叉决策图表示方法,进而建立了此类生产调度问......
讨论了合成式模糊产生式规则及Petri网故障诊断原理与方法。基于模糊Petri网知识表示模型建立了提升机制动系统故障诊断模型,结合......
Petri网是C. A. Petri教授于1962年首先提出的。它是一种系统模拟的有力工具。国外于60年代末,有大量数学家、计算机科学家和其他......
Petri网的进程网系统是为了描述Petri网特别是无界Petri网的进程行为而提出的一个重要概念.一个Petri网的进程网系统是以其基本进......
想定是作战仿真系统的重要组成部分,是复杂作战序列仿真运行的初始态势,是获取可信仿真分析结果的前提。在全覆盖想定概念的基础上,提......