论文研究基于广义随机Petri网的城市道路公交优先建模与性能研究.pdf

基于无标度网络的铁路春运Petri网建模研究，周全，李旸，从自然灾害铁路春运中暴露出的问题出发，引入我国铁路客运系统无标度网络的概念，重点探讨我国铁路春运特点及相关问题，研究铁路

基于面向对象Petri网的UML建模技术，折建峰，简炜，UML作为通用面向对象建模语言缺乏形式化的模型验证和分析工具，Petri网有严格的数学定义和多种模型的验证方法。本文提出一种从UML的�

粒子群优化算法，起源于鸟群行为的研究，是一种基于群智能的进化计算技术，通过粒子之间的协作与竞争以实现对多维复杂空间的高效搜索。提出了基于Petri网的并行粒子群算法，并采用经典测试函数验证算法的有效性

城市道路管理信息系统中GIS的应用已成为一种重要趋势。通过GIS技术，可以实现道路信息的集中管理和智能化分析，提高城市道路管理的效率和水平。

基于RFID的城市道路车辆监控系统的设计研

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

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

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

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

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