电信业务特性集成的时序着色Petri网模型

提出了一个电信系统业务特性集成的建模和检验方法。根据这个方法，现有的系统和新的业务特性分别表述为一个着色Petri网，业务特性的功能可表述为时序逻辑公式（称为功能公式），而业务特性的行为可表述为实现这个着色Petri网的变迁不变量（T不变量）的引发序列（称为业务）。通过检测业务是否满足功能公式，可对业务特性进行检验。     

基于着色Petri网的BPEL建模与验证

目的为了保证使用商业过程执行语言(BPEL)描述的Web服务组合的正确性。方法用着色Petri网(CP-nets)对BPEL流程进行建模、分析以及验证。结果定义了一套从BPEL到CP-nets的映射规则,该规则可以将BPEL流程转换成CP-nets,通过着色Petri网工具-CPN tools对该CP-nets进行自动分析以及验证,从而验证该BPEL流程的安全性、活性等性质。结论利用CP-nets这种形式化工具可以有效地发现BPEL流程中存在的设计错误。     

基于着色Petri网的工作流模型研究与应用

建模是工作流技术中的核心工作,也是工作流技术中的一个重要研究内容。文章介绍了着色Petri网和着色工作流网(CWF-nets)的相关概念,给出了一种分析CWF-nets的正确性的极大变迁序列方法,并通过对一个项目金额申报业务流程的建模和分析,验证了基于CWF-nets模型的正确性。     

排课系统的着色Petri网建模

根据玉林师范学院的实际情况,建立排课系统的模型,并利用建模工具着色Petri网对排课系统进行可视化建模,描述系统流程,以期对排课系统的开发有所帮助.     

基于着色Petri网理论的通信装备维修系统建模

讨论了一种基于着色Petri网理论建立通信装备第二级维修子系统模型的方法。该方法通过运用着色Petri网理论的优势对原有的通信装备第二级维修子系统模型进行改造,克服了以往用普通Petri网建模的不足,细化了其系统模型的中间操作过程,有利于模型分析和仿真实现。     

基于着色Petri网的QoS驱动服务合成建模及应用

本文的主要工作是提出了QoS驱动的理念，并且利用经过改造的着色Petri网模型对这个系统进行建模和分析，最后利用着色Petfi网的软件工具（CPN Tools）绘制系统模型。     

基于着色Petri网测试用例的自动生成

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

基于着色Petri网的电子商务工作流建模

用基本Petri网对电子商务工作流建模，往往会因为细节过多而使其图形复杂。提出了一种基于着色Petri网的模型，给出了针对电子商务中网上购物系统的建模过程并进行了结构合理性的论证。应用结果表明，通过着色Petri网建模可以使得库所和变迁的数量都大为减少，使图形更加简约。     

基于着色Petri网的电子商务工作流建模

用基本Petri网对电子商务工作流建模,往往会因为细节过多而使其图形复杂.提出了一种基于着色Petri网的模型,给出了针对电子商务中网上购物系统的建模过程并进行了结构合理性的论证.应用结果表明,通过着色Petri网建模可以使得库所和变迁的数量都大为减少,使图形更加简约.     

基于带抑制弧时间Petri网的CNC软件模型

提出了一个扩展的时间Petri网———带抑制弧时间Petri网.该网中以抑制弧结合时延变迁来描述实时系统中的中断功能;运用所提出的带抑制弧时间Petri网建立了前后台结构模式的CNC(computernumericalcontrol)软件模型;应用所建立的模型,采用等误差直线逼近法加工一段曲率半径较小的曲线轮廓,对CNC软件中各个任务的时序逻辑进行了分析,并给出了时序分析结果.结果表明,无须对软件进行实际的运行测试,只需要知道CNC软件的时间参数和结构以及控制要求,就可以运用所建立的模型,正确地对该类CNC软件进行时序逻辑分析,评估CNC软件的控制性能.所提出的模型为在CNC软件总体设计阶段就能对其进行时序逻辑分析,为评估CNC软件的控制性能提供了方法和工具.     

基于有色Petri网的政府电子公文通用工作流模型的构建

基于有色Petri网的基本理论和政府公文处理的国家标准，结合政府电子公文的处理特点，给出了收文流程和发义流程的形式化定义及其建模步骤，完成了政府电子公文通用丁作流模型的建构，实现了流程再造，并且在攮于LotusDomino群件的平台上进行了实践和应用．     

基于Petri网密码系统的实现

研究了用Petri网对密码系统建模和分析 ,用在系统可编程逻辑器件实现Petri网的方法 ,这种密码系统的设计方法简单、直观 由于Petri能够对复杂系统进行建模和分析 ,因此 ,采用这一方法能够十分容易地构造出复杂的密码系统 ,并确保系统的安全、可靠 文中给出了几种密码系统的Petri网模型 ,并给出了硬件实现的实例     

基于Petri Nets的无人机自主飞行任务管理系统

根据无人机自主飞行的任务规划与调度过程设计了任务管理系统的总体结构,讨论了体系结构的组成和功能;将一个完整的自主飞行侦察任务过程通过Petri Nets分解出若干子任务,用事件触发进行管理和调度;最后通过MATLAB中的Stateflow工具对整个无人机任务序列进行了仿真实现,保证了侦察任务的顺利执行.     

关于Petri网归约问题

Petri 同归约问题是当今 petri 网研究领域的一个重要课题,本文从 Petri 网静态结构的角度出发,给出了三个层次的 Petri 网归约方法,并用代数的方法严格地证明了这些归约方法保持网的两大重要性质:活性和有界性。它们为 Petri 网的归约和分析的复杂性之间提供了一个灵活折衷的手段,能够对一个庞大、复杂的 Petri网进行不同程度的归约,以适应不同的需要。文中所给出的归约算法是基于网的关联矩阵的,具有高效,便于实现的特点。此外,本文还就多弧 Petri 网的归约问题和 Petri 网的分解问题作了简要讨论。最后还给出了哲学家用餐问题的 Petri 网新模型并对之进行归约。     

面向对象扩展着色Petri网在装配系统中的应用

根据面向对象思想，提出了面向对象扩展着色Ｐｅｔｒｉ网模型。该模型一方面，具有通用性，可重用性和易扩生；另一方面，具有简单性，直观性。很好地解决了传统的Ｐｅｔｒｉ网所面临的问题。     

基于Petri Nets的数据流结构设计与模拟

数据流结构被广泛应用于数据流信号处理算法的硬件实现中 .通过建立数据流结构的PetriNets模型 ,动态模拟各个硬件处理单元在不同数据率输入信号下的状态 ,以此确定数据流结构中最佳的设计参数 ,实现数据流结构的优化设计     

Study on Multi-agent Systems with Colored Petri Nets

The approach to model multi-agent systems with hierarchical colored Petri nets is introduced. In a multi-agent system, every agent is modeled with colored Petri net system, and the colored Petri net system of the multi-agent system is a hierarchical colored Petri net system, such that the agents planning deadlock detection and avoidance, can be analyzed with the Petri net system.     

含本征二级活变迁的Petri网剖析

对含有二级活而非三级活（ 即本征二级活） 变迁的Ｐｅｔｒｉ 网结构进行了深入的分析，并对含本征二级活子网的可重复网的结构进行了讨论。