![基于有色PETRI网的工程项目物流管理系统的设计与实现]()
论文摘要近年来,物流产业一直在不断发展,在实践的推动下,现代物流已经分化为产品物流和工程项目物流两大类型。目前物流企业对工程项目物流服务与工程项目总承包对物流服务的要求存在一些...
![城市轨道交通区域控制器的研究]()
论文摘要基于无线通信的列车控制系统CBTC（CommunicationBasedTrainControl）是今后城轨交通列控系统的发展趋势。作为CBTC系统的核心地面设备,区域...
![有色Petri网的行为研究]()
论文摘要有色Petri网是在经典的Petri网基础上发展起来的一种高级网系统,是一种适于描述异步并发系统的图形工具和数学工具。它以简洁的图形方式和精确的语义定义表现系统状态,并...
![CPN在现代海军编队协同作战C~3I系统建模仿真中的应用]()
论文摘要现代海军舰艇编队协同作战C3I系统是一个复杂的人-机交互大系统,也是一个典型的离散事件系统。其指标体系不仅包括其本身的性能指标,还包括它与武器系统、战场环境相结合完成作...
![基于有色Petri网舰艇编队C~3I系统的建模与仿真研究]()
论文摘要海军舰艇编队C~3I系统是一个具有使用环境特殊、组成多样和状态不确定等特性的复杂军用电子信息系统。由于Petri网理论本身具有很多特征与C~3I系统建模要求相吻合，因此...
![基于PI-演算的CPN在移动通信服务建模的研究与应用]()
论文摘要随着业务要求的不断增加,Web服务组合变得日益复杂,服务组合出错的可能性也不断增加,这就需要对Web服务组合流程进行分析和验证,以保证服务组合的正确性和可靠性。本文的主...
![移动支付系统安全的若干关键问题研究]()
论文摘要随着移动用户迅猛增加和移动技术不断改善,移动商务得到了快速发展并呈现出前所未有的发展机遇。但目前移动商务仍以小额交易为主,交易额也仅占总电子交易额很小部分。制约移动商务...
![WAP事务层协议的有色PETRI网建模与分析]()
论文摘要WAP事务协议(WTP)作为WAP协议体系结构中的一个重要部分,向会话层提供基于请求响应的分布式事务服务。由于WAP论坛将WAP协议规范以自然语言的形式发布,这样的好处...
![Petri网在井下机车调度中的建模与仿真]()
论文摘要本文介绍了井下机车调度系统的的发展现状、发展趋势。介绍了建模工具Petri网的来源以及特点，同时对Petri网的理论进行了系统的介绍。由于矿井机车运输监控系统是典型的离...
![面向分布应用的工作流管理系统研究与实现]()
论文摘要在企业信息化领域,工作流程的重组和再造是当前不断变化的市场外部环境对企业内部提出的持续改进的一种需求。企业之间的合作有联盟企业、虚拟企业等组织形式,这些虚拟组织的流程管...
![基于Petri网的层次型入侵检测系统]()
论文题目:基于Petri网的层次型入侵检测系统论文类型:硕士论文论文专业:计算机软件与理论作者:吴希导师:罗军舟关键词:网络安全,入侵检测,层次型入侵检测,有色网文献来源:东南...
![马磊：基于运营场景的跨界临时限速CPN建模分析论文]()
本文主要研究内容作者马磊（2019）在《基于运营场景的跨界临时限速CPN建模分析》一文中研究指出：介绍了跨界临时限速(TSR)的运营场景,分析了一起跨界临时限速取消失败的故障案...
![朱爱红：基于UML和CPN的列控系统等级转换建模与分析论文]()
本文主要研究内容作者朱爱红,宋丽梅（2019）在《基于UML和CPN的列控系统等级转换建模与分析》一文中研究指出：针对列控系统的安全性和实时性要求,基于CTCS-3级列控系统需求规范中等级转换场景建立C2级向C3级转换的UML(统一建模语言)模型和有色Petri网(CPN)模型,分析了影响列车安全运...
