电子商务中供应链的Petri网建模

文章论述了电子商务中供应链事物流程和Petri网的建模方法,Petri网是一种强有力的工具,作者通过一个电子商务供应链的概念模型,将它转换成为一个等价的Petri网模型,从中分析电子商务中供应链模型的性质,更好地从概念模型层次上验证电子商务的供应链在实现过程中的动态仿真.     

随机Petri网可视化软件的设计与实现

针对随机Petri网建模设计与分析的复杂性问题,通过面向对象方法在VisualC++环境下利用MFC开发了可视化的随机Petri网建模和分析工具SPNSim。利用广度优先思想,设计了可达图的生成算法,给出了随机Petri网模型的编辑器,用户可以直观方便地进行随机Petri网编辑,同时还能进行模型分析,得到可达图、稳态概率等随机Petri网特性和系统性能指标。通过对一个实例的建模与分析,结果验证了软件工具SPNSim的正确性和可用性。     

基于Petri网的非集中式电子商务平台建模与仿真

随着Internet的普及和网络安全性的提高,电子商务得到了迅速的发展.为了更好地满足网络环境下电子交易发展的需求,详细分析了电子商务的业务流程,设计了一个具有交易约束机制的电子商务系统框架.首先,基于Petri网这一建模分析工具,建立了电子商务系统业务流程的Petri模型,并设计了有界Petri网可达树生成算法,用于分析所设计的电子商务系统Petri网模型的性质;然后,运用Petri网系统动态仿真工具--CPNTools,对所设计的电子商务系统模型进行了仿真运行,并分析了实验结果.从静态和动态两个方面检验了所设计的电子商务平台框架的可行性,该框架可以用来指导下一步的系统开发工作.     

基于商品派送的Petri网模型设计

作为电子商务物流的核心环节,文章着重研究了使用Petri网构造商品派送模型的设计过程。本文首先分析了商品派送功能的需求和子功能组成,接下来文章介绍了利用有色Petri网的建模方法对商品派送功能模型进行分析和设计的过程,着重体现Petri网的动态建模表达优势。最后,文章提供了对该有色网派送模型进行的功能验证。     

基于Petri网的工作流过程建模

业务过程建模是整个工作流管理系统的基础,选择一种高效的建模技术对复杂多变的实际业务流程进行形式化表示对构建一个灵活的工作流管理系统起着至关重要的作用。本文利用了Petri网技术给业务过程建模,构造了一个灵活可分析的过程模型：首先介绍了相关的基于Petri网的工作流建模技术,接着描述了Petri网到工作流过程模型执行的映 射,然后给出了一个具体的基于Petri网建模方式的实例,最后利用随机Petri网和概率论的一些知识对该模型进行了时间性能分析。     

基于Petri网的选煤厂生产调度模型研究

本将Petri网作为选煤厂生产调度模型建立的工具。针对选煤厂生产的具体情况．利用Petri网对选煤厂生产调度进行建模分析。分析结果表明Petri网可以较好地分析选煤厂生产调度中的瓶颈和并发冲突问题。     

基于Petri网超媒体模型的分析与比较

超媒体建模研究是当前一个重要研究方向。基于Petri网理论的模型是对有向图模型的改进,与其他模型比较,能够更好地刻画超媒体系统。原因如下:Petri网是一个二部有向图,适合于说明超媒体的链接机制;Petri网是一种天然的具有并行执行语义的自动机,模型可以自然地表达超媒体系统中的动态执行语义;Petri网能够说明各种顺序、并发和同步活动,满足描述多媒体表现的需要;利用Petri网的图形特性和严格的数学基础,人们可以检查和分析超媒体中的潜在问题。该文着重对四个典型的基于Petri网的超媒体模型:MHPN、HCPN、MORENA和HTSPN模型进行分析和比较。     

基于Petri网的工作流模型时间性能分析

利用高效的建模技术来构建复杂的业务流程,一方面可以提高模型形式化表示的可读性,另一方面便于进行模型性能分析,确保模型在投入使用后的正确性。阐述了利用Petri网技术的严格语义,来构建流程模型并进行性能分析的过程。首先指出时间性能对工作流性能分析的重要性,然后介绍了Petri网和工作流网的定义、工作流基本路由结构的Petri网表示,及其对应的性能等价公式,最后在这些基本定理的基础上,通过一个购车流程的实例来构建模型,并对其时间性能进行分析,证明了利用Petri网技术建模的合理性和优越性。     

面向Agent的Petri网及其应用

为了更好地刻画单个Asent的行为和多Asent间复杂、并行的动态交互,将面向Agent的设计思想与Petri网建模方法相结合,形成了一种面向Agent的Petri网(AOPN)模型.首先给出了面向Agent的Petri网的形式化定义,然后利用Petri网的建模工具,以网上购物背景下买卖双方简单交互为例,对基于面向Agent的Petri网模型的系统建模方法进行了研究和分析,有效地解决了系统结构复杂性的问题.     

一类FMS的最佳活Petri网模型的综合

利用Petri网为一类柔性制造系统建模,并讨论避免系统死锁问题.通过Petri网模 型的结构分析,证明了系统产生死锁的一个充分必要条件.给出了避免死锁的最佳控制器,它 可以通过给系统的Petri网模型增加一些新的位置与相应的弧来实现.从而导出了这类制造 系统的最佳活Petri网模型.     

Petri网模型的扩展与检测

扩展了基本Petri网,提出了更加适合模型检测的MCPN方法,并将MCPN模型转换成模型检测工具SPIN的输入语言——PROMELA。使用SPIN完成对系统模型的检测,以提高软件设计的可靠性。在转换过程中,考虑了对当前情态下处于激活状态的多个变迁的同时激发;并提出了一种处理Petri网公平性问题的解决方案。     

基于对象的存储系统对象迁移策略

对象存储系统是下一代网络存储重要组织模式,对象管理是对象存储系统的关键技术之一。本文对对象存储系统中的对象迁移策略进行了系统的研究,提出了可变阈值和域长的动态反馈调整模型,以此来确定存储对象迁移的时机和目标对象存储设备的选取。另外,本文还利用Petri网工具对对象存储系统存储对象的迁移进行建模分析,给出了存储对象迁移控制的Petri网模型。但是随着存储系统存储节点的无限增加,Petri网模型将会无限复杂和庞大。为了减少Petri网模型控制模型的复杂度,又引入有色Petri网理论,实现了对存储对象迁移控制Petri网模型的简化。该模型同样很好地实现了对象存储系统中对象迁移控制的建模分析。这些研究对我们在建立对象存储系统时起到了很好的帮助作用。     

主动数据库规则集的Petri网建模

讨论了利用Petri网作为建模工具对主动数据库中ECA规则集的建模问题.建立了存储ECA规则状态的Pelri网子网结构,用此子网可构造出单奈规则的Petri网结构,再由单条规则的Petri网构造整个规则集的Petri网模型.结果表明,用Petri网建模能准确地表达主动数据库规则集的语义,并且有利于进一步分析规则集的动态行为特征.     

基于并行对象的可视化模型

提出了一种基于并行对象的可视化模型,该模型中吸取了数据流图、Petri-net和UML技术中的基本思想,通过使用数据流图来确定数据加工状态,从而初步得到并行对象的雏形,然后使用Petri-net来描述并行对象的动态特征,最后使用UML对并行对象的静态信息进行描述。通过静态描述和动态描述自动为用户生成并行程序的代码框架。     

异步电路的静态数据流图模型及其性能分析

静态数据流图是异步电路的一种抽象模型,具有灵活性高、易于理解的优点.基于静态数据流图的一种形式化的执行语义,提出了一种适合于性能分析的静态数据流图的Petri网模型,并基于该模型提出了一种性能评价方法.该方法具有速度快、灵活性高的优点,特别适合大规模异步电路设计早期的性能分析.该模型比静态数据流图的传统Petri网模型在规模上小一倍,而且避免了引入非标准的read-arc.通过实验,该模型和性能评价方法的有效性得到了充分的验证.     

基于Petri网的柔性制造系统作业调度研究与实现

选择面向对象的有色Petri网对FMS进行建模,研究FMS调度控制问题.本文针对柔性制造系统的特点,采用面向对象的着色Petri网建立了由工件、机床、运送和仓贮对象等组成的模型.模型是一个包括加工系统、物流系统、管理系统在内的一个完整的FMS模型.该模型由于采用了面向对象技术,具有可移植性、可扩展性的特点,并且易于用软件去实现,本文使用"映射"法,把库所映射为软件数据、变迁映射为程序函数和方法、子系统映射为软件系统基本类,从而把FMS Petri网模型转化为FMS控制管理软件程序.本文采用简易的工艺文件数据,对FMS控制管理软件运行进行了测试.通过对测试结果的分析,验证了本文所建立的FMS物流系统模型和设计的FMS柔性生产线控制管理软件的正确性和有效性.     

Feature based models for manufacturability assessment

This paper presents a Petri-net based modeling tool which enables part programs to be converted to a format which can be analyzed. The method builds upon individual “feature net” and a set of union rules to obtain a complete net of the model. The product manufacturability can be analyzed accordingly. The Petri-net properties of the model are presented in terms of safeness, boundedness, strict conservation, reachability and liveness. The robustness of the system is imbedded into the model with the introduction of cutting condition control, path reachability, and the concept of deadlock free systems. Two structures, line and arc, are presented to illustrate the effectiveness of the present approach. The results shows the strength of Petri-net theory in the modeling of complex part for manufacturability assessment.     

基于Petri网的工作流模型研究与设计

Petri网是一种适合于描述异步并发现象的系统模型,它既有严格的数学定义,又有直观的图形表示。工作流技术作为实现企业过程集成的有效手段,广泛应用于各种场合。本文在简要介绍了Petri网、工作流与工作流模型的理论后．对公文流转中的发文工作流进行了基于脯网的模型设计。     

一种基于基本语义单元合成Petri网的足球视频查询描述模型

足球是最具世界性的体育运动之一，球迷遍布五大洲，因此在体育视频节目中足球备受广大观众青睐．在分析了足球视频特点的基础上，提出了一种基于基本语义单元合成Petri网的足球视频查询描述模型．该模型首先定义了一种类似文本字词集合的足球视频基本语义单元集合，在此基础上采用基本语义单元合成Petri网模型建立了一种足球查询语义的描述模型，并分别构建了进球、进攻、角球、犯规、换人等足球语义．初步的实验结果验证了该模型的有效性，并能推广至球类视频和其他体育视频．     

Automated guided vehicle systems and their Petri-net properties

This paper defines clearly and presents the fundamental properties of automated guided vehicle systems (AGVS) and their relationship to Petri nets. The objective is to develop an intelligent modelling tool to allow the design of robust AGVS models using some invariant Petri-net properties. The Petri-net properties of the system are presented in terms of safeness, boundedness, strict conservation, reachability and liveness. The robustness of the system at floor-level is embedded into the model by introducing system traffic collision-free, constant numbers of vehicles and traffic control signals, path reachability, and system traffic deadlock-free. Two different merge structures are presented to illustrate the effectiveness of the present approach. The result shows the strength of Petri-net theory in the modelling of complex AGVS. The AGVS models thus built are robust.