Petri网原理与应用.pdf

提出一种在某些库所中带有标识的模糊Petri网模型来进行知识表示。为了获得更多的加权模糊产生式规则的信息，在知识表示的过程中考虑了权值，确定性因子，阈值等参数。这种模糊Petri网充分利用了Petri

COM原理与应用.zipCOM原理与应用pdf与源码

CORBA工作流时间Petri网建模与分析

介绍着色petri的建模方法的文档，对于新手了解着色petri有很大的帮助，让我们可以大致了解构建过程

情境感知系统对情境信息的利用程度在不断提高，对服务的多样性提出了更高要求，但是传统的情境感知系统的建模方法难以满足对系统动态描述和模拟的需求。通过对传统的Petri网进行扩展，提出了情境感知系统的赋时

在建立FMS物流系统Petri网模型的基础上，采用“映射”思想，将Petri网模型转化为物流系统的仿真程序，提出了库所映射为程序数据、变迁映射为程序函数、系统子网映射为FMS系统基本类的映射方法，通过

时序Petri网结合Petri和时序逻辑的优点，清晰简洁的描述并发系统事件间的时序和因果关系，包括系统的最终性和公平性。本文给出安全苛求系统——车站信号联锁逻辑系统的时序Petri网描述，并使用时序逻

提出了一种基于有色Petri网的建模方法，在系统的Petri网模型中可以对中国墙策略进行分析和验证。给出了基于有色Petri网的混合安全策略的形式化定义；并通过一个系统实例阐述了如何利用该方法对系统的

针对采用人工免疫机制的信息系统，为了简化其攻防博弈建模过程并对有限时间内的博弈结果进行预测，基于Petri网提出了信息系统安全态势评估网，对信息系统人工免疫过程的攻击态势和防御态势进行了建模；并针对所

计算机联锁软件作为计算机联锁系统的核心主控软件，可靠性和安全性需建立在好的安全模型之上，提出了采用时间有色Petri网对进路建立的具体过程进行形式化建模，时间戳可以得知联锁设备的精确动作时刻以及操作持