基于分层思想的基本通信系统CPN建模

针对通信系统建模复杂度高、可靠性差、模型缺乏形式化验证方法以及可重用性差的问题,提出一种基于分层思想,并结合面向对象的概念,利用着色Petri网(CPN)对基本通信系统进行建模的方法。该方法融合CPN和面向对象技术的优点,从形式化、可视化的角度描述基本通信系统的运行过程。以一个简单的基本通信系统为例进行建模,证明该模型与实际系统中的对象可以相互对应,易于理解和实现。     

基于CPN的接纳控制系统建模与仿真

利用着色Petri网(CPN),在CPN Tools平台上建立自顶向下的分层自适应OFDMA系统接纳控制模型。该模型能直观描述系统过程,具有开放性,适用于不同算法或到达间隔与处理时间不服从指数分布的业务。采用Monitor监控器分析模型性能,并与M|M|m|n排队模型进行仿真比较,结果验证了该模型的正确性和优越性。     

基于赋时分层着色Petri网的以太网系统建模

基于以太网响应时间的恰当的分析模型具有并发、动态、冲突、实时性等特点。传统的建模方法在解决这类问题时存在着复杂、僵化、柔韧性差、没有时间概念等缺点。赋时分层着色Petri网（HTCPN）通过增加请求、服务、协调、多实例化等新的建模元素,能够仿真和模拟基于实时性的客户枷服务器交互关系的问题,同时分层技术的引入也更 利于模拟任意结构的以太网模型。本文基于HTCPN建立了共享式和交换式以太网模型,通过对以太网模型响应时间的分析证明了HTCPN适合仿真和模拟这类问题。     

基于CPN的业务流程执行语言建模

提出了Web服务业务流程执行语言的CPN建模方法,描述了基于Web服务业务流程的工作流行为特性。在对BPEL4WS的基本活动和结构性活动进行分析的基础上,给出了利用CPN对流程进行建模的方法。然后结合具体实例阐述了利用该方法建模的详细过程,并对所生成的Petri网模型进行验证。     

基于Petri网的物流系统建模实例

本文介绍了一种使用资源／任务Petn网(R／T—net)对物流系统进行建模的方法。物流系统是一个任务流和资源流并行的业务过程，对于这一类过程，采用R／T—net建模，主要是通过在任务模型中设置资源依赖和资源期望，实现资源流对任务流的控制，其中的点火规则和路由规则可以灵活地实现资源的协调、同步、分配和传递。这种方法可以使建模过程更符合物流系统的实际运作，提高工作效率。     

基于CPN的发布/订阅系统的建模及分析

提出了一种基于着色Petri网(CPN)的pub/sub系统协议分析方法.基于一种结构化P2P网络上的pub/sub系统协议,用着色Petri网对事件发布的消息处理进行建模和描述,并利用CPN tools对模型进行模拟仿真,通过对模型的可达图进行分析,表明了协议具有活性、可达性和有界性,验证了协议的可用性.     

基于CPN Tools的电信业务建模及其应用

提出了一种对电信业务流程建立基于着色Petri网模型的方法。该方法基于网元分层结构，使业务在建模后能方便地进行各业务的集成，从而可以进行业务间交互的离线检测。根据上述方法，应用CPN Tools作工具，对若干电信业务进行建模，并利用CPN Tools的仿真功能，对业务之间的冲突作了检测。该建模和仿真方法对业务冲突的离线检测有一定的参考价值。     

基于CPN的Agent建模及其用于航空器推出的分析

采用减少航班推出时间的方法以达到减少航班延误时间的目的,分析了航空器推出过程中存在的冲突问题,通过在推出路径关键位置没置安全点来避免冲突;基于Agent建模理论,采用面向对象的赋时着色Petri网（Objectoriented Timed Colored Petrinet,OTCPN）的建模方法,对航空器的推出行为建模,并在仿真工具CPN Tools中对模型进行了分析,通过状态空间报告（State Space Report）可知模型是有界的、可行的,且不存在死点;最后,设计实现了相邻机位航班地面延误最少前提下的实际推出时间计算单元。     

基于Petri网的FMS物流系统建模与仿真

在建立FMS物流系统Petri网模型的基础上,采用“映射”思想,将Petri网模型转化为物流系统的仿真程序,提出了库所映射为程序数据、变迁映射为程序函数、系统子网映射为FMS系统基本类的映射方法,通过实例仿真验证了软件程序与模型的一致性。     

基于CPN的空竭服务单重休假M/G/1型排队系统建模与分析

空竭服务单重休假M/G/1型排队系统是经典排队系统的推广,在许多领域有着广泛的应用.到目前为止对其的处理方法还都是建立在概率论和数理统计的基础上,运用马尔可夫随机过程求解,推导十分复杂,没有直观的模型描述.因此,利用着色Petri网对空竭服务单重休假M/G/1型排队系统进行建模,并对主要性能指标进行仿真分析是迫切以及可行地.仿真软件选用CPNTools[1],仿真结果证明该方法具有较高的精确度以及实用价值.     

基于分层着色Petri网的热轧带钢厂产线建模

本文介绍了分层着色Petri网（HCPN）基本原理,并结合局部事件表提出了为复杂制造系统建模的一种方法,此方法可以减少复杂系统建模的复杂性,也为仿真软件体系结构的模块化和层次化设计建立了良好的基础.文中还给出了HCPN在武钢热轧带钢厂产线仿真系统建模中的实现方法.     

基于有色Petri Net多Agent入侵检测系统实现

在目前基于Agent的分布式入侵检测系统的设计中,主要的设计思路是依赖多Agent联盟合作机制,但在具体的工程实现中,却难以找到一种恰当的实现模型。本文针对此问题,提出了基于有色PetriNet的多Agent入侵检测系统实现模型。     

基于TCPN的TCP协议形式化描述

提出一种基于赋时着色Petri网模型的TCP协议形式化描述方法。采用序号、确认号和数据3个参数对TCP报文进行更准确的描述,引入时间参数以便进行协议的性能评估,加入超时重传、流量控制和确认信息捎带传输等机制,使模型更符合协议的实际运行规程。通过CPN Tools对模型进行动态模拟,仿真结果证明了该模型的正确性。     

分层有色Petri网在物流配送系统仿真建模中的应用

研究了如何使用分层有色Petri网在减少模型复杂性的基础上来建立物流配送模型, 并使用Colored Petri Net工具中的monitor机制, 对关键库所中托肯的变化情况以及关键变迁的发生次数得到 Simulation Performance Report和Message Sequence Chart来对模型进行全方位的定量定性分析, 准确模拟了实际系统完成物流配送的整个过程, 仿真过程表明该系统具有良好的适应性. 在确保物流配送流程合理性的同时,也为物流仿真软件体系结构的模块化及层次化设计建立了良     

基于SHCPN的系统动态可靠性建模及分析

针对传统复杂可修系统可靠性建模方法只能建立系统静态分析模型的问题,提出基于随机层次着色Petri网(SHCPN)的动态可靠性建模方法,并在讨论SHCPN形式化定义和建模方法的基础上,描述利用该方法建立复杂可修系统动态可靠性分析模型的过程。实验结果证明该方法可有效解决以往系统可靠性建模中存在的不足。     

基于着色Petri网的工作流系统子流调用机制的研究与实现

提出了一种利用弧函数上的绑定变量来实现的子流调用机制,并且以参数映射的方式达到了流程独立性基础上的调用。     

基于CPN的嵌入式RTOS任务调度建模

针对有色PetriN（CPN）在并行、并发、资源共享描述上的适用性,将其引入到嵌入式实时操作系统（RTOS）建模中,解决了RTOS任务调度模型中的CPU独占表述、优先级排序、抢占时间处理和周期任务实现问题。对一个优先级抢占式任务调度实例建立CPN模型,结果表明该模型能有效反映RTOS系统的动态特性,准确定量模拟出RTOS系统的效率、切换频率指标。     

基于HCPN的发电企业项目管理工作流建模

如何对工程项目的成本、进度、质量情况进行控制和跟踪是发电企业的重要问题,应用工作流可通过对业务流程的整合及资源的合理分配解决这一问题。本文基于分层着色Petri网(HCPN),将工作流过程模型的逻辑结构和语义与HCPN中的网结构进行映射,进而利用CPN-TOOLS定义基于HCPN的项目管理工作流过程模型,并利用化简原则对工作流模型进行畅通性验证。