摘要：设计安全协议时,协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤,验证安全协议的模型和工具有很多.提出了一种基于着色petri网的安全协议验证方法.通过采用该方法对一个STS协议进行了分析,证明了这种方法的有效性,并根据分析结果给出了改进后的STS协议.

摘要：BPEL描述的服务组合流程,没有充分考虑人的参与和人员活动对流程的影响,且不能保证服务组合流程设计在应用中的正确性。为了描述服务化系统中的混合工作流程,首先介绍支持人员参与的BPEL4People规范,然后提出了基于着色petri网的混合工作流建模方法,对所得模型进行了合理性分析。采用模块聚合方式给出了混合工作流的层次CPN模型,利用CPN Tools工具分析验证混合工作流的有界性、可达性及活性等性质,根据验证结果进行反馈调整,可以减少因流程设计错误给流程实际部署和运行带来的损失。

摘要：针对基于UML的面向对象程序设计方法及着色petri网的特点,提出了一种基于着色petri网的测试用例生成方法,该方法将UML的时序图描述转化为着色petri网的形式化描述,通过深度优先遍历着色petri网找出系统的测试路径,对给出的测试数据采用爬山法进行测试用例的选择,最后,根据路径覆盖的原则产生完整的测试用例.

摘要：简单邮件传输协议(SimpleMailTransferProtocol,SMTP)是网络中电子邮件传输协议,像其他网络服务一样,电子邮件传输也依赖于传输控制协议(TransmissionControlProtoco)l。本文设计分析了基于着色petri网(ColoredpetriNets,CPN)简单邮件传输协议模型,该模型包括传输控制同步信号建立和简单邮件传输命令序列建立;通过Design/CPNtool建立和验证了该模型。

摘要：针对现有建模分析方法在混杂系统中系统建模和性能分析中表现的不足,提出一种基于离散事件监控框架的混杂系统仿真建模分析方法。应用着色petri网技术构建混杂系统离散事件系统模型框架,内嵌连续系统模型,利用petri网标识线性约束实现系统动态行为仿真分析和基于局部关联矩阵的petri网监控设计。基于现有的离散事件动态理论的监控分析,采用离散事件系统petri网监控方法实现混杂系统监控行为分析。并通过导弹拦截系统案例进行验证,实践结果证明了该混杂建模分析方法的可行性。

摘要：利用着色petri网和面向对象技术相结合的方法,把FMS中物流系统的组成分成5个对象类。建立了FMS中物流系统的各个对象及其之间关系的着色petri网模型,然后将其转化为物流系统的仿真程序。通过实例验证,所开发的软件结果与实际接近,可以为企业物流系统的设计提供指导。

摘要：针对航空航天制造领域中多用户协同工作场景下,由人为错误操作或数据库共享异常导致的数据一致性较差问题,文中基于改进函数依赖和着色petri网构建了BOM数据一致性校核与检验模型。该模型根据多用户BOM数据的结构特点,界定了零部件的层次结构与关系定义。同时对传统函数依赖算法加以改进,并控制数据迁移规模及并行度以改善函数依赖发现效率,从而进行数据信息的不一致校核。通过解构HDFS系统数据写入流程,利用着色petri网进行数据共享流程建模,进而实现数据共享一致性校核算法的构建。经仿真验证,所述方案的两种耗时指标与对照组算法相比分别降低了26.61%和38.23%,且状态空间及强连通构建图中状态节点和变迁的数量一致,不存在回路,由此证明了该方案的可行性。

摘要：为解决复杂场景下离散事件系统动态性高引起的分析困难问题,提出了一种基于着色petri网的离散事件动态系统建模方法。该方法首先对系统进行信息流分析并建立UML模型,然后根据规则将UML模型映射为petri网模型,再对petri网模型进行分层并添加颜色集,建立系统的着色petri网模型。在向着色petri网模型转换时,首先将动态系统分解为顶层模型和子模型;然后定义不同的颜色集,用来表示系统运行过程中的指令和状态等信息,减少库所和变迁的使用量;接着对子模型的变迁加载守卫条件和时间戳,使模型能够处理系统的并发和顺序性问题;在此基础上为系统库所添加令牌,用于表示系统中流动的信息资源。CPN Tools测试输出的结果,验证了所提方法的有效性,同时也为系统的设计与优化提供了一定的参考。

摘要：根据着色petri网理论,利用着色token代表不同的资源,并通过分级建模的方法,建立钢结构施工过程的仿真模型;以实验数据为依据确定模型中的随机变量,通过仿真运算得到施工工期、设备利用率以及施工中各资源数量对两者的影响程度等数据。利用这些数据,可对工程的施工工序及资源配置等进行优化处理。

摘要：面向对象着色petri网具有强大的建模能力和成熟的理论,广泛应用于各种系统的模型建立.介绍如何把CORBAIDL和UML与着色petri网相结合,以便获得CORBA标准表示的分布式系统行为模型,这对于复杂系统分析设计、模拟和性能评价有很高的理论和实用价值.