基于Petri网分解技术的自动化物流系统建模分析*

针对西安科技大学自动化物流系统的任务规划,提出了一种基于变迁指标和库所指标融合的Petri网分解方法。采用Petri网理论对该物流系统建立模型,给出定义,在此基础上采用提出的Petri网分解方法得到融合了T网和S网特性的最小子网。通过分析该最小子网,得出Petri网模型的活性和有界性,据此推断出物流系统的任务规划合理有效。该方法大大减少了直接分析子网或原Petri网模型的计算量,可避免全局或局部死锁,为系统良好运行提供了依据。     

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

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

基于Petri网的物流仓储系统的建模研究

Petri网作为一种离散事件动态系统的建模和分析方法,提供了在逻辑时序下研究系统特性和性能的有效手段,并有图形方法的直观性和逻辑方法的概括性.运用Petri网建立入库子模型及出库子模型,并使用基本Petri网和随机Petri网的化简规则对相应模型进行化简继而分析,得出优化结论,从而实现物流仓储系统的建模研究.     

基于有色Petri网的自动化物流系统的研究

针对西安科技大学自动化物流系统的任务规划,在研究有色Petri网相关理论的基础上,采用基于有色Petri网的方法对该物流系统进行建模,并结合实际系统提出了CPN模型描述性定义,然后在CPN Tools环境下对系统出、入库操作两种操作和出、入库和移库3种操作进行仿真,通过对系统模型状态空间的分析,验证了有色Petri网应用在物流系统中的通用性以及该系统具有有界性和活性等特性,进一步论证了该物流系统任务规划的合理性,为整个系统的稳定性和多任务的协调操作奠定了理论基础。     

基于Petri 网/COM的物流系统建模仿真技术

本文针对制造业的复杂物流系统,采用分层有色Petri网进行建模,并提出一种基于CO M的HCPN仿真技术,其模块化和层次化的概念不仅为通用的物流仿真提供了清晰、灵活的解 决方案,而且使得其具有很强的灵活性和可扩展性．文中以某钢厂炼钢连铸物流系统为例, 描述了如何使用Petri网和COM相结合构造物流仿真系统．本文的方法同样适用于FMS等其它D EDS的建模与仿真．     

基于Petri网/JavaBean的物流系统建模仿真技术

针对制造业的复杂物流系统,采用分层有色Petri网进行建模,并提出一种基于JavaBean的HCPN仿真技术。介绍了使用Petri网和JavaBean相结合构造物流仿真系统的方法。     

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

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

基于面向对象时间Petri网的智能电商物流服务系统建模

电商物流服务系统是一种集商流、物流、信息流和资金流于一体的大规模复杂系统,具有离散事件动态系统的一般特征。将面向对象技术与Petri网相结合,引入时间因素,应用于大规模复杂信息系统建模上,不仅能降低系统模型复杂度,还可以针对模块性能做定量分析。在分析研究电商物流服务系统主要功能和Petri网理论的基础上,给出了一种面向对象时间Petri网（OOTPN）的形式定义,描述了电商物流服务系统的主要对象和业务流程,采用面向对象时间Petri网构建了电商物流服务系统的OOTPN模型,分析了子网的相关时间特性,利用可覆盖性树、关联矩阵对子网的可达性、有界性、守恒性等性质进行了分析,证明了模型系统的可靠性和健壮性,体现了OOTPN模型具有模块化、图形化、结构化特点和可扩展、可重用、易于维护等特性。     

基于Petri网的容错系统分层建模

扩展Petri网的结构,将一般的控制管理系统改进为具有容错功能的控制管理系统,应用扩展Petri网对其进行分层建模,包括系统的基础层、检错层、恢复层。采用故障恢复策略并使用带有基于Petri网分层模型中状态标识的行为跟踪、行为检错和行为改错增加控制管理系统的容错功能,并分析了模型的正确性。     

基于Petri网的公文流转系统工作流建模分析

公文流转系统是电子政务的核心内容。本文使用高级Petri网对公文流转过程中的收文管理进行建模,并对所建模型进行正确性分析。     

教务排课系统的Petri网建模分析

要解决当前学校教务信息管理中较为突出的瓶颈问题－－课堂教学排课系统，其关键在于采用有效的开发技术。本文以Petri网理论为基础，对这种系统设计的实现方式和系统本身的运行过程进行了可视化建模，描述了系统复杂因素及其相互关系，以期对排课系统的开发建模有所帮助。     

基于Petri网的工作流建模技术分析与应用

介绍了Petri网的基本知识,结合公文管理中收文、发文部分工作流应用环境,运用不变量的分析方法和工作流网的理论,提出了相对完整的基于Petri网的工作流模型,并对模型的可靠性进行了分析.     

无线通信系统的Petri网建模与分析

无线通信系统是一个分布式实时多任务数据处理系统,具有实时性、并发、异步和多任务等特点.Petri网是描述和分析异步并发现象的一种有效的模型工具.以Petri网为工具,建立了无线通信系统的仿真模型,对其功能和数据流进行模拟,并对其结构性能、任务的忙闲程度、死锁进行了定性分析,实现了模型和程序结构的自动转换,从一个全新角度对无线通信系统进行了分析和评价.     

基于Petri网航空电气抢修系统建模

讨论了一种基于分层着色Petri网理论建立航空电气抢修系统模型的方法.这种方法是通过引入复杂库所和Petri子网来对原有的电气抢修系统模型进行改造,克服了以往用普通Petri网建模的不足,使模型变得直观、简单,并有利于模型分析和仿真实现.     

基于Petri网的工作流建模与分析

工作流和工作流管理系统的合理应用可大大提高办公自动化的程度。基于Petri网的建模方法具有坚实的理论基础和直观的图形表示，是工作流和工作流管理系统建模和分析的理想工具。文章先讨论基于Petri网的工作流模型的建立和分析，接着给出了该模型在高考招生系统(NACUES)中的应用实例。最后，还针对NACUES系统的分布式特性对该模型扩充了本地工作流间的通信和互操作特性，这一扩充将对分布式查询和招生工作后期各项数据的统计工作有很大的简化作用。     

基于Petri网的工作流建模

Petri网是计算机异步成分之间进行通信的理论基础。Petri网的应用涉及计算机学科的各个领城。文中运用Petri网工具来对工作流技术进行了详细的分析与描述，并用一个例子来说明如何使用Petri网来描述工作流的各种同步关系以及流向，最后，文章还给出了一个由功能模型、数据/信息模型、组织模型、资源模型组成的工作流复合模型。     

基于Petri网的工作流建模

Petri网是计算机异步成分之间进行通信的理论基础.Petri网的应用涉及计算机学科的各个领域.文中运用Petri网工具来对工作流技术进行了详细的分析与描述,并用一个例子来说明如何使用Petri网来描述工作流的各种同步关系以及流向,最后,文章还给出了一个由功能模型、数据/信息模型、组织模型、资源模型组成的工作流复合模型.     

基于Petri网的项目审批建模分析

Petri网是一种适合于描述异步并发现象的系统模型,它既有严格的数学定义,又有直观的图形表示。工作流技术作为实现企事业工作过程的有效手段,广泛应用于各种场合。在应用中,关键是建立适合企事业工作过程的工作流模型。本文主要介绍了Petri网和工作流模型的理论,以及基于Petri网的工作流建模方法,并给出了项目审批应用实例。     

基于Petri网的工作流建模与分析

工作流是一组有关联关系的工作项的集合,它模拟了企业业务过程中实际的或虚拟的工作步骤之间的关系,在实际业务过程中工作项之间除了顺序,分支,循环等关系外还有异步,并行,同步等关系,因此,工作流建模非常复杂,目前还没有一个专门的建模工具满足工作流建模的要求。Petri网是一种图形化的建模工具,具有坚实的数学理论基础。该文探讨和总结了基于Petri网的工作流建模方法,并在此基础上对工作流Petri网（WEPN）进行了分析。它是进一步对工作流进行全面诊断的基础。     

基于Petri网的动态建模技术的研究

Petri网是一种适合于描述异步并发现象的计算机系统模型。本文所提出的Petri网理论的分析方法和技术即可用于静态的结构分析,又可用于动态的行为分析,最适合表示事件之间的并行性和自然相关性。本文利用一个典型实例对基于Petri网的动态建模技术做了方法性的研究,并给出了动态建模技术的一般方法。