分享到:

基于时序Petri网的联锁逻辑形式建模与验证

时序Petri网结合Petri和时序逻辑的优点,清晰简洁地描述并发系统事件间的时序和因果关系,包括系统的最终性  (本文共4页) 阅读全文>>

《电脑与电信》2007年06期
电脑与电信

Petri网技术在选课系统中的应用

选课系统是高职院校教务管理的重要组成部分,由于系统的用户众多,使用时间集中,选课流程繁琐,对系统性能提出...  (本文共4页) 阅读全文>>

《计算机仿真》2007年09期
计算机仿真

基于Petri网的飞行数据智能处理

现有的飞行数据处理专家系统多以产生式规则而构建,随之带来的问题是当规则之间存在多层嵌套的复杂逻辑关系时,知识表达不易完备并极易导致推理错误。为此,以识别飞机起飞状态为例,深入研究了基于Petr...  (本文共4页) 阅读全文>>

《计算机工程与应用》2007年06期
计算机工程与应用

基于有色Petri网并发进程模型及死锁避免方法

并发进程具有明显的异步并发性,而Petri网是描述异步并发系统的有效工具,但是目前将P...  (本文共3页) 阅读全文>>

《大电机技术》2007年01期
大电机技术

汽轮发电机组振动故障诊断的Petri网模型

Petir网理论是以网络理论、代数理论等为数学基础的,可利用图形语言对故障诊断系统的结构、功能及流程进行系统的分析和描述,是异步并发诊断系统建模与分析的重要工具之一。作者在论述了Petri网矩...  (本文共4页) 阅读全文>>

《计算机工程与设计》2007年06期
计算机工程与设计

密码协议验证中的Petri网方法

如何验证密码协议的安全性是一个复杂的问题,只有形式化的验证方法才能证明密码协议的绝对正确。利用Petri网给出了一种用于密码协议验证的形式化方法。在合理假设的基础上,区...  (本文共3页) 阅读全文>>