（控制理论与控制工程专业论文）基于petri网模型的化工hazop分析专家系统研究与实现.pdf

学位论文数据集 中图分类号 t p l l 学科分类号 5 2 0 2 0 7 0 论文编号 1 0 0 1 0 2 0 0 7 0 4 4 5 密级 学位授予单位代码 l o o l 0 学位授予单位名称北京化工大学 作者姓名 粱 继学号 2 0 0 4 0 0 0 4 4 5 获学位专业名称 控制理论与控制工程 获学位专业代码 0 8 1 1 0 1 课题来源 自选课题 研究方向神经元网络与智能控制 论文题目基于p e t r i 网模型的化工h a z o p 分析专家系统研究与实现 关键词 专家系统，p e t r i 网，知识表达，谓词逻辑，h a z o p 分析 论文答辩日期 2 0 0 7 年6 月8 日论文类型 应用研究 学位论文评阅及答辩委员会情况 姓名职称工作单位 学科专长 指导教师 李宏光教授北京化工大学 控制科学与工程 评阅人1 朱群雄教授 北京化工大学控制科学与工程 评阅人2 刘红岩副教授 清华大学信息管理与信息系统 评阅人3 评阅人4 评阅人5 答辩委员糊 朱群雄教授北京化t ：大学 控制科学与翻鼙 答辩委员1 刘红岩副教授清华人学 信息管理与信息系统 答辩委员2楚纪正 教授 北京化上大学控制科学与 j 程 答辩委员3 答辩委员4 答辩委员5 注：一论文类型：1 基础研究2 应用研究3 开发研究4 其它 二中图分类号在( 中国图书资料分类法) ) 查询。 三学科分类号在中华人民共和国国家标准( g b t1 3 7 4 5 - 9 ) ( 学科分类与代码中 查询。 四论文编号由单位代码和年份及学号的后四位组成 一 1 摘要 基于p e t r i 网模型的化工h a z o p 分析 专家系统研究与实现 摘要 p e t r i 网和专家系统的研究与应用是目前较为活跃的两个领域，本论 文面向化工h a z o p 分析，研究了专家系统与p e t r i 网的融合技术，并以 某化工企业溶剂回收工程控制系统为对象，建立了一个基于p e t r i 网模型 的化工h a z o p 分析专家系统。 论文的前部分主要介绍了基于p e t r i 网的h a z o p 分析的知识表达与 推理的方法，提出在v i s u a lp r o l o g 下定义了p e t r i 网的主要元素，采用 v i s u a lp r o l o g 实现了基于p e t r i 网的h a z o p 分析专家系统的知识表达与推 理，以构造基于v i s u a lp r o l o g 的p e t r i h a z o p 分析专家系统。提出了一种 基于p e t r i 网模型的专家系统知识表达方法，将一阶谓词逻辑( h o r n 子句) 与模糊p e t r i 网相结合，针对h a z o p 分析的特点，给出了基于p r o l o g h o m 子旬的模糊p e t r i 网知识表达及建模算法，有效地结合了h o m 子句的逻辑 推理与模糊p e t r i 网的知识表达能力。该方法应用于构造化工h a z o p 分 析专家系统的实例，通过输入h a z o p 分析内容，自动分析输出模糊p e t r i 网图形，增强了专家系统的启发性和透明性。 论文的后部分给出了p e t r i c h e m h a z o p 专家系统的总体结构，依据 各个功能模块分别论述，研究了系统定义、实时数据库、基于p e t r i 网模 型的p r o l o g h o m 子句知识表达与推理机、p e t r i c h e m h a z o p 专家系统的 知识库及其知识表达算法、h a z o p 专家系统的人机接口和 p e t r i c h e m h a z o p 专家系统的v i s u a lp r o l o g 实现等内容。提出了 p e t r i c h e m h a z o p 专家系统的推理机运行算法，以及基于p r o l o g h o m 子 旬的t t a z o p 分析f p n 建模算法和知识库的p e t r i 网模型知识推理算法。 并以某化工溶剂回收过程为对象，通过分析其蒸发系统、精馏系统和离心 泵系统的运行操作，建立了蒸发罐节点、精馏节点和离心泵节点的知识库 模块，并且开发实现了v i s u a lp r o l o g 应用系统。 关键词：专家系统，p e t r i 网，知识表达，谓词逻辑，h a z o p 分析 l l a b s t r a c t s t u d ya n dr e a l i z a l i o no n c h e m i c a lh a z o pe x p e r ts y s t e mb a s e do n p e t r in e tm o d e l i n g a b s t r a ct p e t r in e ta n de x p e r ts y s t e mh a v eb e c o m et w om a i na c t i v ef i e l d s i n a u t o m a t i o na n da r t i f i c i a li n t e l l i g e n c e ( a i ) c o m b i n a t i o no fe x p e r ts y s t e ma n d p e t r in e th a sb e e ns t u d i e df o r t h ea p p l i c a t i o no fc h e m i c a lh a z o p , f u r t h e r m o r e ， ac h e m i c a lh a z o pe x p e r ts y s t e mb a s e do np e t r in e ti sd e v e l o p e df o rt h e a p p l i c a t i o no f c h e m i c a lh a z o pi nad m f r e c o v e r yp r o j e c tf o rac o m p a n y t h ef i r s th a l fo ft h ed i s s e r t a t i o np r e s e n t st h ep r i n c i p l eo fp e t r i - h a z o p e x p e r ts y s t e m ，i n t r o d u c e s t h em e t h o do fk n o w l e d g er e p r e s e n t a t i o na n d i n f e r e n c er u l e sb a s e do np e t r i h a z o pa n a l y s i s t h em a i ne l e m e n t so fp e t r i n e ta r ed e f i n e du s i n gv i s u a lp r o l o g t h ed i s s e r t a t i o np r o p o s e st h er e a l i z a t i o n o fk n o w l e d g er e p r e s e n t a t i o na n di n f e r e n c er u l e sb a s e do np e t r i h a z o p a n a l y s i s ，w h i c hi sp r o g r a m m e db yv i s u a lp r o l o g w i t ha na c t u a le x a m p l e ，t h e d i s s e r t a t i o na l s oe s t a b l i s h e sap e t r i - h a z o pe x p e r ts y s t e m am e t h o d o l o g yo f k n o w l e d g er e p r e s e n t a t i o nb a s e do np e t r in e tm o d e li sp r o p o s e df o rh a z o p e x p e r ts y s t e m t h ef i r s to r d e rp r e d i c a t el o g i c ( h o r nc l a u s e s ) i sa s s o c i a t e dw i t h f u z z yp e t r in e t a c c o r d i n g t ot h ec h a r a c t e r i s t i co fh a z o p , k n o w l e d g e r e p r e s e n t a t i o nb a s e do nf u z z yp e t r in e ta n d i t sm o d e l i n ga l g o r i t h m sw i t hh o r n i i i 北京化工大学硕士论文 c l a u s e sa r ep r e s e n t e d i na d d i t i o n ，l o g i c r e a s o n i n gw i t hh o r nc l a u s e si s e f f e c t i v e l ya s s o c i a t e dw i t hk n o w l e d g er e p r e s e n t a t i o nb a s e do nf u z z yp e t r in e t t h em e t h o d o l o g yi sa l s oa p p l i e dt oa ni l l u s t r a t i v ee x a m p l ew i t ht h ei n t e n to f c o n f i g u r i n gh a z o pe x p e r ts y s t e mf o rc h e m i c a lp r o c e s s e s f u z z yp e t r in e t g r a p h i c si sa u t o m a t i c a l l ya n a l y z e da n de x p o r t e db yi m p o r t i n gt h ec o n t e n t so f h a z o p , w h i c hm a k e st h ee x p e r ts y s t e mm o r eh e u r i s t i ca n d t r a n s p a r e n t t h es e c o n dh a l fo ft h ed i s s e r t a t i o n p r e s e n t st h eg e n e r a ls t r u c t u r eo f p e t r i c h e m h a z o p ；e v e r yf u n c t i o nm o d u l ei se x p l i c a t e di nd e t a i l ，i n c l u d i n g s y s t e md e f i n i t i o n ，r e a l t i m ed a t a b a s e ，p r o l o g h o mk n o w l e d g er e p r e s e n t a t i o n a n di n f e r e n c ee n g i n e ，h u m a nm a c h i n ei n t e r f a c eo fh a z o p e x p e r ts y s t e ma n d t h er e a l i z a t i o no fp e t r i c h e m h a z o pb yv i s u a lp r o l o g t h ed i s s e r t a t i o np a y s m u c hm o r ea t t e n t i o nt ot h e a l g o r i t h mo fi n f e r e n c ee n g i n eb a s e d o n p e t r i - c h e m h a z o pe x p e r ts y s t e m ，t h ea l g o r i t h mo ff p nm o d e l i n gb a s e do n p r o l o g h o ma n dt h ea l g o r i t h mo fk n o w l e d g er e a s o n i n gb yp e t r in e t a tl a s t ， t h ep r i n c i p l e so ft h ec h e m i c a lh a z o pe x p e r ts y s t e mb a s e do np e t r in e t m o d e lin gi su s e di nad m fr e c o v e r yp r o je c t t h ep r i n c i p l e sa n do p e r a t i o n r u l e so ft h ee v a p o r a t i n gs y s t e m ，r e c t i f y i n g s y s t e ma n dc e n t r i f u g a lp u m p s y s t e mw e r ea n a l y z e df o rt h ek n o w l e d g ea c q u i s i t i o n t h e nt h ek n o w l e d g e b a s em o d u l eo ft h ee v a p o r a t i n ga n a l y s i ss e c t i o n ，r e c t i f y i n ga n a l y s i ss e c t i o n a n dc e n t r i f u g a lp u m pa n a l y s i ss e c t i o nw e r ed e v e l o p e db y v i s u a lp r o l o g k e y w o r d s ：e x p e r ts y s t e m ，p e t r in e t ，k n o w l e d g er e p r e s e n t a t i o n ，p r e d i c a t e l o g i c ，h a z o p i v 目录 目录 第一章前言1 1 1 论文研究的背景与意义1 1 2 国内外文献综述“2 1 2 1p c t r i 网理论与应用2 1 2 2 模糊p c t r i 网及其知识表达“3 1 2 3 化工h a z o p 分析专家系统5 1 2 4 一阶谓词( h o r n 子旬) 与v i s u a lp r o l o g “1 0 1 3 本论文研究的主要内容1 2 第二章化工h a z o p 分析专家系统1 3 2 1h a z o p 分析核心技术1 3 2 1 1h a z o p 分析基本概念l3 2 1 2h a z o p 分析的技术性能和特征1 5 2 1 3h a z o p 分析步骤及主要内容1 5 2 1 4h a z o p 分析的主要方法l7 2 1 5h a z o p 分析的公式化描述1 7 2 1 6h a z o p 分析实例l8 2 2h a z o p 分析专家系统l8 2 2 1h a z o p 分析专家系统概述1 8 2 2 2h a z o p 分析的知识获取2 0 2 2 3h a z o p 分析专家系统的知识表达2 l 2 2 4h a z o p 分析专家系统的结构2 4 2 3v i s u a lp r o l o g 实现h a z o p 分析专家系统2 5 2 3 1v i s u a lp r o l o g 语言2 6 2 3 2v i s u a lp r o l o g 程序结构2 6 2 3 3v i p 的知识表达与推理机制”2 7 2 3 4 基于v i p 的p e t r i h a z o p 实现2 9 第三章基于p e t r i 网模型的p r o l o g h o r n 子句知识表达与推理3 3 v 北京化工大学硕士论文 3 1 模糊p e t r i 网及其知识表达3 3 3 1 1p e t r i 网概述3 3 3 1 2 模糊逻辑与知识表达3 5 3 1 3 模糊产生式规则表示法3 5 3 1 4 模糊p e t r i 网的描述与定义3 6 3 1 5 基于模糊p e w i 网的模糊推理算法3 8 3 2p r o l o g h o m 子句知识表达与推理4 0 3 2 1p r o l o g h o m 子句4 0 3 2 2 基于p r o l o g h o m 子句的h a z o p 分析f p n 建模算法4 1 3 2 3p e t r i h a z o p 分析专家系统应用实例4 4 第四章基于p e t r i 网模型的化工h a z o p 分析专家系统4 7 4 1p e t f i c h e m h a z o p 专家系统的结构与运行机制4 7 4 2p e t r i c h 咖h a z o p 专家系统的设计与开发4 8 4 2 1 系统定义4 8 4 2 2 实时数据库( i ) ”4 9 4 2 3 基于p e t r i 网模型的p r o l o g h o m 知识表达与推理机”4 9 4 2 4p e t r i c h e m h a z o p 专家系统的知识库5 4 4 2 5h a z o p 专家系统的人机接口5 8 4 3p e t r i c h e m h a z o p 专家系统的知识库组成5 9 4 4p e t r i c h e m h a z o p 专家系统的v i s u a lp r o l o g 实现5 9 4 4 1p e t r i c h e m h a z o p 的v i s u a lp r o l o g 部分程序5 9 4 4 - 2p e t r i 网自动建模结果6 l 第五章实例研究 6 3 5 1 工业d m f 回收过程6 3 5 1 1d m f 概述6 3 5 1 2 工艺流程与工艺设计说明6 3 5 2 工业d m f 回收的p e t r i c h e m h a z o p 专家系统知识库6 6 5 2 1 蒸发罐系统分析节点的知识库模块6 6 5 2 2 精馏系统分析节点的知识库模块6 8 5 2 3 离心泵系统分析节点的知识库模块7 5 5 3p e t r i c h e m h a z o p 专家系统在工业d m f 回收系统中的应用8 2 v i 一 一 目录 第六章结论与展望。8 5 参考文献8 7 致谢。9 1 研究成果及发表的学术论文9 3 作者与导师简介9 5 v i i 北京化工大学硕士论文 v i l l c o n t e n t s c h a p t e r 1i n t r o d u c t i o n 1 一 1 1b a c k g r o u n d ”i 1 2r e f e r e n c eo f r e l a t e ds u b j e c t 2 1 2 1p e t r in e tt h e o r ya n da p p l i c a t i o n 2 1 2 2f u z z yp e t r in e ta n di t sk n o w l e d g er e p r e s e n t a t i o n 3 1 2 3c h e m i c a lh a z o pe x p e r ts y s t e m - 5 1 2 4f i r s to r d e rp r e d i c a t e h o r nc l a u s e sa n dv i s u a lp r o l o g 10 1 3o v e r v i e wo f t h ed i s s e r t a t i o n 1 2 c h a p t e r 2c h e m i c a lh a z o p e x p e r ts y s t e m 1 3 2 1h a z o pc o r et e c h n o l o g y 1 3 2 1 1h a z o pf u n d a m e n t a lc o n c e p t 13 2 1 2t e c h n i c a lc a p a b i l i t ya n dc h a r a c t e ro fh a z o p 15 2 1 3p r o c e d u r ea n dm a i nc o n t e n t so fh a z o p 15 2 1 4m a i nm e a n so fh a z o p 。17 2 1 5h a z o pf o r m u l a b l ed e s c r i p t i o n 。17 2 1 6h a z o pc a s e 。1 8 2 2h a z o p e x p e r ts y s t e m 1 8 2 2 1o v e r v i e wo fh a z o pe x p e r ts y s t e m 18 2 2 2h a z o p k n o w l e d g ea c q u i s i t i o n 。2 0 2 2 3k n o w l e d g er e p r e s e n t a t i o no fh a z o pe x p e r ts y s t e m 2 1 2 2 4f r a m e w o r ko f h a z o pe x p e r ts y s t e m 2 4 2 3r e a l i z a t i o no fh a z o p e x p e r ts y s t e mb yv i s u a lp r o l o g 2 5 2 3 1v i s u a lp r o l o gl a n g u a g e 2 6 2 3 2p r o g r a m m es t r u c t u r eo f v i s u a lp r o l o g 2 6 2 3 3k n o w l e d g er e p r e s e n t a t i o na n dr e a s o n i n gm e c h a n i s mo f v i p 2 7 2 3 4r e a l i z a t i o no fp e t r i h a z o pb a s e do nv i p 2 9 c h a p t e r3k n o w l e d g er e p r e s e n t a t i o na n dr e a s o n i n gw i t hp r o l o g h o r n b a s e do np e t r in e t 3 3 i x 北京化工大学硕士学位论文 3 1f u z z yp e t r in e ta n di t sk n o w l e d g er e p r e s e n t a t i o n 3 3 3 1 1o v e r v i e wo f p e t r in e t 3 3 3 1 2f u z z yl o g i ca n dk n o w l e d g er e p r e s e n t a t i o n 3 5 3 1 3f u z z y p r o d u c t i o n sm e t h o d 3 5 3 1 4f u z z yp e t r in e td e s c r i p t i o na n dd e f i n i t i o n 3 6 3 1 5f u z z yr e a s o n i n ga l g o r i t h mb a s e do nf u z z yp e t r in e t 3 8 3 2k n o w l e d g er e p r e s e n t a t i o na n dr e a s o n i n gw i t hp r o l o g h o me l a u s e s 4 0 3 2 1p r o l o g h o r nc l a u s e s 4 0 3 2 2f p n m o d e l i n ga l g o r i t h mb a s e d o np r o l o g h o m 4 1 3 2 3c a s es t u d y 4 4 c h a p t e r 4c h e m i c a lh a z o p e x p e r ts y s t e mb a s e d o np e t r in e t 4 7 4 1f r a m e w o r ka n dr u n n i n gm e c h a n i s mo fp e t r i - c h e m h a z o pe x p e r ts y s t e m 4 7 4 2d e s i g na n dd e v e l o p m e n to fp e t r i c h e m h a z o pe x p e r ts y s t e m 4 8 4 2 1s y s t e md e f i n i t i o n 4 8 4 2 2r e a l t i m ed a t a b a s e ( i ) 4 9 4 2 3k n o w l e d g er e p r e s e n t a t i o na n dr e a s o n i n ge n g i n ew i t hp r o l o g h o mb a s e do np e t r in e t 4 9 4 2 4k n o w l e d g eb a s eo fp e t r i c h e m h a z o pe x p e r ts y s t e m 5 4 4 2 5h m io f h a z o pe x p e r ts y s t e m 5 8 4 3k n o w l e d g eb a s ec o n s t i t u e n to fp e t r i c h e m h a z o pe x p e r ts y s t e m 5 9 4 4r e a l i z a t i o no fp e t r i c h e m h a z o pe x p e r ts y s t e mb yv i s u a lp r o l o g 5 9 4 4 1p a r to f v i s u a lp r o l o gp r o g r a m m eo f p e t r i c h e m h a z o p 5 9 4 4 2r e s u l to f p e t dn e tm o d e l i n g 6 1 c h a p t e r5c a s es t u d y 6 3 5 1p r o c e s so f i n d u s t r i a ld m f r e c y c l i n gp r o j e c t 6 3 5 1 1o v e r v i e wo f d m f 6 3 5 1 2f l o wd e s i g na n dt e c h n i c a le x p l a n a t i o n 6 3 5 2p e t r i c h e m h a z o pk n o w l e d g eb a s eo f d m f p r o j e c t 6 6 5 2 1k n o w l e d g eb a s em o d u l eo f e v a p o r a t i n gp o t 6 6 5 2 2k n o w l e d g eb a s em o d u l eo f r e c t i f y i n gt o w e r 6 8 5 2 3k n o w l e d g eb a s em o d u l eo fc e n t r i f u g a lp u m p 7 5 x 一 5 3a p p l i c a t i o no fp e t r i c h e m h a z o pe x p e r ts y s t e mi nd m fp r o j e c t ”8 2 c h a p t e r 6c o n c l u s i o n 8 5 r e f e r e n c e s j 8 7 a c k n o w l e d g e m e n t s 9 1 p u b l i c a t i o n s 9 3 c u r r i c u l u mv i t a e 9 5 x i 北京化工大学硕士学位论文 x i i 第一章前言 1 1 论文研究的背景与意义 第一章前言 危险与可操作性分析( h a z o p ) 是查明生产装置和工艺过程中工艺参数及操作控 制中可能出现的偏差，针对这些偏差，找出原因，分析后果，提出对策的一种分析方 法。该方法既可以保证生产系统安全可靠地运行，又可以为企业创造巨大的经济效益 和社会效益，在欧美等国家已得到普遍推广应用【l 】，在我国，h a z o p 技术研究起步 晚，智能化程度不高，与国外差距很大，因此，不断深入研究h a z o p 分析技术，结 合人工智能专家系统技术、自动化技术和计算机软件技术，研究开发准确高效的智能 化、自动化h a z o p 分析系统，对我国的工业安全生产中具有十分重要的意义。 近年来，基于p e t r i 网模型的专家系统的研究与应用正逐步活跃的起来，针对工 业安全生产的需求，将两者结合起来用于智能化的h a z o p 分析还尚未形成完整的理 论体系，商品化的h a z o p 应用软件还不多见。 在专家系统中，逻辑推理和知识表达起着关键的作用。推理过程就是确定一个给 定的命题是否由所收集的一级事实和子句规则所蕴含。之所以选择p e t r i 网来模拟逻 辑推理，是因为p e t r i 网具有很好的描述静态和动态特性的能力，并且有一套成熟的 数学分析方法，将逻辑推理问题转换成p e t r i 网模型，并用p e t r i 网的分析方法去处理 逻辑推理问题，可增加用不同和有效的方法处理逻辑推理问题的机会。知识表达是用 一些约定的符号把知识编码成一组计算机可以接受的数据结构。p e t r i 网知识表达的基 本思想是用库所来代表产生式规则的前提及结论，用变迁来表示不同的规则强度，从 而实现p e t r i 网对产生式规则的规则集的映射。p e t r i 网知识表达方法具有便于描述系 统状态的变化及对系统特性的分析，可在不同层次上变换描述，不必注意细节及相应 的物理表示，适用于表述不确定性知识。 在知识表达与推理方面，由于p e t r i 网自身的问题，它对于并发系统的处理上还 有缺陷，使得h a z o p 分析的稳定性不强，容错能力有限，因此本文将模糊p e t r i 网和 专家系统结合起来研究。模糊p e t r i 网是将p e t r i 网和模糊理论融合在一起，发挥p e t r i 网结构上的特点，使模糊p e t r i 网很适合对模糊产生式规则进行建模。因此，模糊p e t r i 网很适合基于模糊规则的结构化知识表达，并且模糊p e t r i 网的算法能够使推理更灵 活、更有效，因此p e t r i 网在模糊知识表达领域有着巨大的应用潜力。 本文以某化工生产企业的5n q j d , 时d m f ( 中文名称：二甲基甲酰胺) 回收系统 北京化工大学硕士学位论文 为对象，进行化工h a z o p 分析专家系统的技术研究与应用开发。 1 2 国内外文献综述 1 2 1p e t r i 网理论与应用 p e t r i 网由c 州a p e t r i 博士于1 9 6 2 年在他的博士论文中提出，用来描述计算机系 统事件之间的因果关系。早期的p e t r i 网主要应用于计算机与信息处理领域，后来具 有工程背景的研究人员将p e t r i 网方法用在工程系统尤其是自动制造系统的研究。4 0 多年来，p e t r i 网不断的充实和发展，日臻完善，在计算机、自动化、通信、交通、电 力与电子、服务以及制造等领域得到广泛的应用。 p e t r i 网是研究和分析离散事件动态系统的重要方法，是异步、并发系统建模与 性能分析的有力工具。p e t r i 网的基本分析方法主要有基于可达树的图分析方法、状 态方程和不变量分析法、结构与状态混合分析法和综合分析法。 基于可达树的图分析法：参考文献 2 ，3 】是一个有限的有向树，其主要优点是能反 映一个网系统的动态演变过程，以及变迁在其中的作用。特别地，对于一个有界的 p e t r i 网，它是一个准确的描述；但对于无界的p e t r i 网，他只能做部分的描述。 状态方程和不变量分析法：参考文献【4 ，5 】主要以关联矩阵的形式，对一个网系统 给予描述，然后建立状态可达的线性系统关系。其优点是借助线性代数相关理论，简 捷地描述了p e t r i 网的一些基本性质。 结构分析法和状态混合分析法：参考文献 6 ，7 】主要研究了避免p e t r i 出现死锁的 必要性，因为p e t r i 网的许多性能是由网络的结构决定的，如变迁间的顺序关系，冲 突与冲撞的关系，同步异步关系及守恒定理，所以这种方法避开了生成和分析标识空 间，从而不会产生组合爆炸的问题。 综合分析法：参考文献【8 ，9 】主要用来解决复杂的p e t r i 网结构问题。一个规模不 大的系统，可能会出现组合爆炸，给p e t r i 网分析带来困难，为此可将p e t r i 网分解 和化简。化简是将一个比较复杂的系统化简为比较简单的p e t r i 网同时又保留一些性 质不变的同态变换过程。文献【1 0 】针对事件图，提出了一种逐步简化系统结构，求取 系统的周期时间的方法。文献【1 l 】基于p e t r i 网的分解，结合子网结构的简化和子网 间结构的连接分析来计算系统时间性能，并给出结构简化的方法和总网与子网之间的 时间性能的关系。 2 第一章前言 p e t r i 网理论研究的另一个方向是在通用网论基础上的并发行为特性研究。通用 网论是在更为基础、更为抽象的网模型( 如c e 系统、e n 系统) 上探讨系统的特 性