基于Petri网的信息系统建模分析.pdfVIP

35NQ．4B 计算机科学2008VoL 基于Petri网的信息系统建模分析 喻敏李忠俊 (西南财经大学经济信息工程学院 成都610074) 摘要本文通过对系统建模各种工具的分析，探讨了Petri网这一较新的建模工具的基本概念，并着重分析了基于 Petri网的信息系统建模思路、建模的步骤与方法。文章从模型结构与集成等方面总结了基于Petri网的信息系统建 模的最优化路径，为信息系统的建模提供了又一有力的分析手段。 关键词Petri，信息系统，建模 能用于那些系统行为已知或是容易证实的复杂系统的建模和 1 系统建模引言 分析。 信息系统建模是指为了系统开发的需要在系统实施前对 2．2信息系统Petri网集成建模方法简介 实际系统的一种抽象，以帮助分析者、设计者及用户能够清楚 应用Petri网对信息系统进行建模按自顶向下的原则分 地表述抽象概念并便于互相交流。Mylopoulos定义信息系 两步进行： 统建模为：“为了理解和交流的需要，而对现实的和社会的世 (1)概念级网(顶层设计) 界中的某些方面进行的描述的活动。” 这是在信息系统的顶层，用基本Petri网模型(又称c／E 系统建模在信息系统的开发过程中发挥着十分重要的作 系统)描述系统中信息的流动。其中，事件(event)是一个抽 用，通过建立信息系统的模型，可以在系统实施前获得该领域 象的功能单元，相当于信息的处理，通常描述成行为的代理， 的知识，以便对系统的各种资源进行评估和分析，保证系统的 它对应于转移的结点；条件(condition)相当于信息的保持单 质量，降低系统开发的费用。 元，对应于位置结点，用来描述对信息的存储。 目前的系统建模技术可以分为面向功能的模型(如DFD (2)高级并发网(求精) 图)、面向数据的模型(如E-R模型)、面向控制的模型(动态 在对顶层模型细化过程中，采用谓词／转移系统(简称 模型，如Petri网)。近年来信息系统正在向集成化、网络化、 Pr／T系统)做进一步的描述，概念级网中的条件对应于Pr／T 智能化和分布式方向迅速发展，与传统的信息系统相比，目前 网中的谓词，也就是说一个条件所反映的内容可以用一个谓 信息系统无论是从概念上，还是从方法上都发生了重大变化 词集来保持，而事件则被认为是与之相邻的谓词外延发生变 并呈现新的特点，所以信息系统的建模技术也随着信息系统 化的可能性对应于Pr／T网中的转移。可变谓词是与系统密 的发展而不断地完善。 切相关的概念，谓词外延的变化反映了系统状态变化的结果。 2 Petri网的相关概念 信息系统Petfi网模型集成分为五步进行：①接El说明；②功 能定义；③资源约束；④角色分配；⑤模型集成。 2．1 Petri网简介 2．3用Petri网分析模型的相关概念 A 1962年联邦德国的CPetri在他的博士论文《用自动 定义1 一个Petri网是活性的当且仅当对于任何一个 机通信》中首次使用网状结构模拟通信系统，这种系统模型后 转移t和任何一个可达状态M，都