用有色Petri网模型进行电力系统结线分析

提出了一种可用于电力系统结线分析的有色Petri网方法。该方法以元件和开关状态构造的有色Petri网为核心 ,用令牌的流动来确定电力系统结线分析的网络结线 ,变迁的发生将包含相同元件的结点连接在一起。通过对一个电力系统模型的分析 ,表明该方法的可行性及有效性     

UML图转有色Petri网图文法

为解决由于UML(Unified Modeling Language)缺少精准的语义表达,使其在系统建模过程中不能给出形式化的验证和分析的问题,提出了UML模型转Petri网模型的图文法,利用Petri网的分析验证技术,实现了对UML模型的正确性验证.在设计阶段即发现系统的缺陷,从而减少软件开发后期发现设计的错误而带来...     

一种基于有色Petri网的知识库验证方法

以有色Petri网为基础,在经过了必要的功能扩充后,针对知识验证的主要内容,建立了有色Petri网的知识表示模型,提出了一种简洁有效的、基于有色Petri网的知识库验证方法,并给出了相应的判定准则,最后给出了一个说明知识表示模型和知识验证准则的实例。     

一种基于有色Petri网的网格工作流模型

给出了一种基于有色Petri网的网格服务工作流模型——有色服务流程网（Colored Service Flow Net）,在此基础之上分析并提出服务流水线（service Pipelining）的概念．该模型将图像数据传输作为服务运行的触发条件,提高了服务流程处理的效率,减少了用户作业的执行时间．     

基于有色Petri网模型的OSPF路由性能分析

在对OSPF协议作详细非形式化的基础上,用有色Petri网对其“呼叫”协议和“可靠泛洪”机制进行形式化的描述,利用有色Petri网的可达树对协议的活性、完整性和前进性等性质进行验证,确定协议的逻辑正确性.     

基于有色Petri网的车身网络诊断系统建模方法

文章针对车身网络诊断系统的特点,将有色Petri网和诊断系统的流程相结合,建立故障诊断的有色Petri网模型;利用有色Petri网作为工具,描述诊断仪与ECU通信之间的逻辑关系;以诊断中的Flash下载为例,建立了有色Petri网的诊断模型.仿真分析结果验证了模型的正确性和有效性,且模型有助于提高车身网络诊断系统软件的...     

一种变结构Petri网模型及其应用

引入一种变结构有色Petri网模型及其相应的结构变化机制，阐述两种结构变化方式及其相应算法．一种是修正结构方法CBM（change—by—modification），一种是添加子网方法CBC（change—by—composition）．结合铁路车站信号联锁中的进路自动解锁建模，讨论了该模型的具体应用。     

基于有色Petri网的逻辑电路仿真模型设计

提出了一种受控有色Petri网(CCPN)模型.该模型在有色Petri网的基础上对逻辑电路的拓扑结构和动态运行过程进行了形式化描述,给出了逻辑电路与CCPN的映射关系,引入了受控门函数集,并按照充分考虑逻辑电路特殊性和稳定性的激发规则,加入了有效的约定,较好地解决了逻辑电路仿真过程中电路拓扑结构难以有效描述的问题.在此基础上,给出了信号在模型中动态传递的描述性算法及其实现方法,并举例说明了基于该模型的逻辑电路仿真过程.     

基于有色Petri网的TII协议建模与分析

变送器独立接口(TII)协议有不同的应用方法且存在实施差异,需要对其进行建模、分析和验证.文中针对不同通道类型,建立层次化的TII协议有色Petri网(CPN)模型;采用数据传输平均延时、通道利用率、数据传输速率、数据帧丢失率作为性能评价指标,借助CPN Tools仿真软件对模型进行了性能分析;讨论了接口速率、采样速率比、采样数据长度、缓存队列长度等接口参数对性能指标的影响,提出了可控连续采样、增加通道数据长度、虚拟多通道、后进先出缓存及先进先出丢包等提高模型性能的方法与措施.该模型的实际应用表明,当STIM的通道类型为带缓存数据序列型时,数据帧丢失率为0,数据传输速率为1500B/s,数据传输平均延时为0.21ms.     

基于赋时有色 Petri 网离散制造过程建模与仿真

针对解决离散制造系统控制过程中可能出现的冲突、死锁等问题,将赋时Petri网和着色Petri网两者相结合,根据柔性制造系统的元素建立了拥有4个CNC机床加工中心,4条工件生产线的赋时着色Petri网模型。仿真结果表明,该方法能有效解决冲突、死锁等问题。     

基于着色Petri网的电子商务工作流建模

用基本Petri网对电子商务工作流建模，往往会因为细节过多而使其图形复杂。提出了一种基于着色Petri网的模型，给出了针对电子商务中网上购物系统的建模过程并进行了结构合理性的论证。应用结果表明，通过着色Petri网建模可以使得库所和变迁的数量都大为减少，使图形更加简约。     

基于着色Petri网的工作流模型研究与应用

建模是工作流技术中的核心工作,也是工作流技术中的一个重要研究内容。文章介绍了着色Petri网和着色工作流网(CWF-nets)的相关概念,给出了一种分析CWF-nets的正确性的极大变迁序列方法,并通过对一个项目金额申报业务流程的建模和分析,验证了基于CWF-nets模型的正确性。     

基于Petri网的产品重构描述及规划

为满足制造商需要快速地对市场变化做出响应的需求,需要研究产品重构领域中产品重构模型的描述和确定可重构产品的重构序列。该文对已有的一些装配和拆卸的描述方法进行分析,基于Petri网提出了一种对可重构产品进行描述的有效方法,解决了重构接口表示的问题。提出了一种考虑经济性的重构算法,使用重构成本矩阵,可以有效搜索重构路径。该文以可重构并联机器的典型驱动支链为例,验证了该方法的可行性。     

基于Petri网的产品重构描述及规划

为满足制造商需要快速地对市场变化做出响应的需求,需要研究产品重构领域中产品重构模型的描述和确定可重构产品的重构序列。该文对已有的一些装配和拆卸的描述方法进行分析,基于Petri网提出一种对可重构产品进行描述的有效方法,解决了重构接口表示的问题。提出一种考虑经济性的重构算法,使用重构成本矩阵,可以有效搜索重构路径。该文以可重构并联机器的典型驱动支链为例,验证了该方法的可行性。     

模糊Petri网的活性分析

在基本Petri网理论基础上,基于模糊推理,对无环模糊Petri网的活性进行了讨论．给出了其关于活性的分级定义以及一种有效的活性判定方法,并对该方法的正确性进行了证明,最后通过一个算例验证了该活性判定方法的有效性.     

基于面向对象Petri网的软件体系结构描述语言

以面向对象Petri网为形式化理论基础 ,提出了一种基于面向对象Petri网的体系结构描述语言 (OP NADL) .与传统的体系结构描述语言相比 ,OPNADL能描述系统的静态和动态语义 ,可利用Petri网的数学分析方法对系统进行动态分析 ,能形象、直观地刻画系统的整体和个体特性 ,同时可以利用相应的Petri网支持工具对软件体系结构进行模拟、分析和验证 .通过OPNADL在公安地理信息系统和柔性制造教学系统开发中的实践证明 ,OPNADL可以有效地辅助软件设计人员在体系结构层次上对系统进行分析和设计 ,从而提高了系统的开发效率 ,具有良好的应用前景     

随机状态机Petri网性能分析的矩母函数方法

提出了对随机Ｐｅｔｒｉ网的一个子网—随机状态机Ｐｅｔｒｉ网进行性能分析的矩母函数解析计算方法，并通过例子说明了该方法的计算过程。对特定的系统应用该方法时，首先将其表示成状态机Ｐｅｔｒｉ网模型，计算出传递函数，然后求出系统的性能测度。该方法克服了马尔可夫链对时间延迟必须是负指数分布的限制，从而使其具有更广泛的适用性。     

Petri网可视化工具的设计与实现

应用面向对象思想和可视化编程工具VisualC 语言开发了图形化的Petri网建模工具GPNT，GPNT系统作为一个计算机辅助设计和分析工具，使用户可在交互式的计算机图形方式下进行Petri网的建立，删除，修改和存储，并可通过对关联矩阵的初等线性变换求解Petri网的S不变量和T不变量，本GPNT系统可用于Petri网模型的设计，分析和动态仿真。