Petri网毕业设计.docx
《Petri网毕业设计.docx》由会员分享,可在线阅读,更多相关《Petri网毕业设计.docx(84页珍藏版)》请在冰点文库上搜索。
Petri网毕业设计
合肥工业大学
硕士学位论文
约束组合有色时间Petri网应用研究
姓名:
杨晴晴
申请学位级别:
硕士
专业:
计算机应用技术
指导教师:
陆阳
20071101
约束组合有色时间Petri网应用研究
摘
要
Petri网是一种适合于描述异步并发现象的系统模型,但是在使用基本Petri
网来为复杂系统建模时会出现“节点爆炸”问题,本文提出约束组合弧克服该
问题。
约束组合弧不仅可以描述库所组合触发变迁的效果,而且可以描述变迁
发生时部分输入库所托肯不变的情况。
在为带式输送机联锁控制系统建模的过
程中,提出了基于时间Petri网的带式输送机联锁控制系统模型,并将时间Petri
网模型折叠成约束组合有色时间Petri网模型,提高了模型的抽象能力,降低了
模型复杂性。
该建模过程也示例了约束组合弧在应用中的优越性。
多范式建模(Multi.ParadigmModeling)通过耦合和转换以整合不同方法建
立的模型来综合利用多种形式化方法,可以全面准确地描述建模对象。
依据多
范式建模理论,研究基于规则化描述方法自动生成系统约束组合有色时间Petfi
网模型的方法。
这种建模思路有利于全面准确地反映系统的设计内容,可以大
大的减轻仿真建模的工作量、
程。
提高整个仿真过程的效率。
本文以汽车车身控
制系统为例,阐述了以规则化描述方法建立约束组合有色时间Petri网的基本过
关键词:
有色Petri网;时间Petri网;约束组合弧;带式输送机;多范式建
模
Research
on
theUseofInhibitor.CombinationCTPN
ABSTRACT
PetriNetis
a
formal,graphical,executabletechniqueforthespecificationand
analysisofconcurrent,discrete-eventdynamicsystems.However,whenmodeling
complicatedcontrolsystem.basicPetrinet
numberexplosion.Inhibitor—combination
placescombinedto
enable
a
arc
may
can
leadto
theproblemofnode
illustratenotonlytheeffectof
transitionbutalsothesituationthatthefireofthe
transitiondoesnotchangetokensofsomeoftheinputplaces.Intheprocessof
modelingthebeltconveyerinterlockcontrolsystem.amodelbased
netisestablishedandfoldedintoamodelbasedon
on
timePetri
inhibitor.combinationcolored
timePetrinet.Inthisway,the
complexity
is
model’sabstractionabilityisenhancedandits
superiority
of
decreased.Also.the
inhibit-combination
arc
in
realisticapplicationsisdemonstratedinthemodeling.
Modelingandsimulation
are
becomingincreasinglyimportantenablersinthe
problemsof
is
shifting
ever
analysisanddesignofcomplexsystems.Totackle
increasing
simulation
complexity,modeling
techniquesto
and
simulation
research
from
modelingmethodologyandtechnology.Multi-paradigmmodeling,
concernedwiththecouplingofandtransformationbetweenmodelsdescribediii
differentformalisms,cangive
a
representationofmodelsindiverseformalisms,at
differentlevelsofabstraction,andthebehavior.conservingtransformationbetween
theformalismsisdemonstrated.Soautomaticmodelingofinhibitor.combination
coloredtimePetrinetderivedfromruledescriptionmethodispresented.Andalso
themethod
system。
isillustrated
through
modelingprocessof
auto—car
Body
Control
Key
words:
colored
Petrinet;time
Petrinet;inhibit—combination
arc;belt
conveyer;Multi—ParadigmModeling
II
插图目录
图1.1
图2.1
图2.2
图2.3
图2-4
图3.1
图3.2
基于规则化描述方法的Petri网自动建模思路……………………………4
Petri网的图形表示…………………………………………………………..9
数据处理的Petri网模型…………………………………………………..“
数据处理功能子网………………………………………………………….13
几个时间Petri网例子……………………………………………………..16
约束弧……………………………………………………………………….18
柔性弧……………………………………………………………………….19
图3.3柔性弧的语义……………………………………………………………….20
图3-4组合弧……………………………………………………………………….20
图3-4组合弧的语义……………………………………………………………….2l
图3.5
因果弧……………………………………………………………………….22
图3.7约束组合弧………………………………………………………………….23
图3.8
约束组合弧的着色网原像…………………………………………………24
图3-9特殊约束组合弧的着色网原像(%=2,月:
=O)…………………………..24
图3.10特殊约束组合弧的着色网原像(%=o,n:
=2)…………………………..24
图3.11否定约束组合弧…………………………………………………………….25
图3.12否定约束组合弧的着色网原像……………………………………………25
图4.1
就绪检验的TPN模型………………………………………………………3l
图4.2就绪检验的约束组合TPN模型…………………………………………..3l
图4.3
虚开机的TPN模型…………………………………………………………32
图4-4虚开机的约束组合TPN模型……………………………………………一33
图4.5
顺开机的TPN模型和约束组合TPN模型………………………………33
图4-6逆开机的TPN模型…………………………………………………………34
图4.7逆开机的约束组合TPN模型………………………………………………34
图4.8顺停机的TPN模型…………………………………………………………35
图4-9顺停机的约束组合TPN模型………………………………………………35
图4.10逆停机的TPN模型…………………………………………………………36
图4.11逆停机和故障停机的约束组合TPN模型……………………………….36
图4.12开机过程的组装(n=3)…………………………………………………..37
图4.13停机过程的组装(n=3)…………………………………………………一38
图4.14就绪检验的约束组合CTPN模型…………………………………………40
图4.15虚开机的约束组合CTPN模型…………………………………………….40
图4.16就绪检验的约束组合CTPN模型…………………………………………4l
图4.17逆开机变迁的约束组合CTPN网表示……………………………………41
V
图4.18
顺停机的约束组合CTPN模型……………………………………………42
图4。
t9逆停机的约束组合CTPN模型……………………………………………42
图4.20带式输送机联锁控制系统的约束组合CTPN模型………………………43
图5.1
图5.2
逻辑规则表达式(Logic
rule
expression)…………………………………45
夜行灯规则式组的TPN模型……………………………………………..47
夜行灯规则式组的约束组和CTPN模型…………………………………47
前照灯规则式组的约束组和CTPN模型…………………………………48
图5.3
图5-4
VI
表格目录
表4-1
带式输送机联锁控制系统模型元素含义………………………………30
VIl
独创性声明
本人声明所呈交的学位论文是本人在导师指导下进行的研究工作及取得的研究成
果。
据我所知,除了文中特别加以标注和致谢的地方外,论文中不包含其他人已经发表
或撰写过的研究成果,也不包含为获得金毽王些太堂或其他教育机构的学位或证书而
使用过的材料。
与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的
说明并表示谢意。
学位论文作者签名:
杨晴晴
签字日期:
2007年12月18日
学位论文版权使用授权书
本学位论文作者完全了解金胆王些盘堂有关保留、使用学位论文的规定,有权保
留并向国家有关部门或机构送交论文的复印件和磁盘,允许论文被查阅和借阅。
本人授
权
盒壁王些太堂可以将学位论文的全部或部分内容编入有关数据库进行检索,可以
采用影印、缩印或扫描等复制手段保存、汇编学位论文。
(保密的学位论文在解密后适用本授权书)
学位论文作者签名:
杨晴晴
签字日期:
2007年12月lO日
导师签名:
签字日期:
2007年12月10日
学位论文作者毕业后去向:
工作单位;
通讯地址:
电话:
邮编:
致
谢
本文是在导师陆阳教授的严格要求和悉心指导下完成的。
在两年半的研究
生学习期间,陆老师对我的学习和生活均关心备至,倾注了大量的心血,使我
在各方面均有长足的进步。
陆老师活跃的学术思想,渊博的知识,坚韧的毅力,
忘我的工作态度,严谨的工作作风,对事物敏锐的观察力都令我钦佩不己,给
我留下了深刻的印象。
陆老师对我的鼓励和帮助,将使我终生受益。
值此论文
完成之际,谨向导师致以衷心的感谢。
感谢魏振春老师以及DECS小组的所有成员,小组讨论时大家的发言给了我
启发和灵感;感谢我的同学郭智奇、丁峰、官骏鸣以及其他实验室成员,他们
在生活和学习上都给了我很大的帮助与鼓励。
感谢其他老师和同学在我攻读硕
士学位期间给予我无私的帮助和友情。
同时,我要感谢父母、弟弟和其他家人对我的支持和关爱,是他们在背后
默默的支持使我能顺利的完成硕士研究生的学业。
最后,真诚地感谢有关专家和学者对本文的评阅和指导。
作者:
杨晴晴
2007年11月20日
第一章
1.1本文的研究背景及目的
绪论
约束组合有色时间Petri网(CTPN:
Colored
High—LevelPetriNet)。
TimePetriNet)是针对Petri网
在为复杂系统建模时会出现“节点爆炸”问题提出的一种高级Petri网(HLPN:
Petri网是最近十几年来发展较为迅速的一种离散事件系统(DES)形式化
建模方法,具有很强的描述能力。
首先,作为一种图形化数学工具,它能对DES
中的异步、并发、冲突等重要特征进行直观描述,并进行分析和研究;其次,
作为一种逻辑层次的建模工具,Petri网具有很强的综合能力,适用于研究逻辑
层次上的系统控制和控制作用下的系统行为问题【11。
近年来,为了满足科学研
究和实际应用的需要,Petri网得到了较快的发展,并出现了随机Petri网、着色
Petri网、时间Petri网等新的子类,Petri网的应用也愈加广泛。
然而,Petri网在为复杂系统建模时会出现“节点爆炸”问题。
分析复杂系统
的Petri网模型时有两种化简思路:
一种是化简状态空间,另一种是化简网本身。
化简网本身更具优势的原因主要是:
(1)状态空间一般非常大,而且可能是无限的;
(2)模拟是模型验证的重要手段,通过约简Petri网本身,可以减小模型
规模,便于模拟和分析;
(3)不依赖初始标识。
虽然在Petri网用于复杂系统的分析问题上已经有
不少研究成果【2】【3】14】1,51,但是减少节点、简化模型仍然是建模的首要任务。
基本Petri网中托肯只计个数不计个性,对个体变化细节描述过多,导致模
型中库所节点过多,缺乏描述组合效果的能力,也限制了基本Petri网的抽象能
力和直接模拟复杂过程的能力。
有色Petri网通过对托肯着色使其有了个性,是
解决复杂系统Petri网模型节点过多问题的有效途径之一,但并不能减少由于组
合效果缺乏而增加的变迁节点。
文献【6J提出的库所组合有色网可以有效描述组
合效果,但是无法描述库所组合触发变迁时部分输入库所托肯不变的情况。
约束组合CTPN是用组合约束弧扩展的有色时间Petri网。
约束组合弧是综
合约束弧、组合弧而得到的一种新弧,它不仅可以描述库所组合触发变迁的效
果,而且可以描述变迁发生时部分输入库所托肯不变的情况,在描述实际问题
时更具有普适性。
约束组合CTPN可以有效提高网元素的抽象能力,从而降低
模型的规模。
带式输送机是由多个皮带组成的连续运输设备,广泛应用于煤矿、冶金、
码头、电厂、矿山的散状物料或成件货物的输送。
带式输送机联锁控制系统是
由多级皮带机设备组成的按顺序要求启停的实时控制系统,采用形式化方法建
模和分析这类复杂实时系统可以减少设计和开发过程中的错误,提高系统运行
的可靠性和安全性【7J。
带式输送机联锁控制系统具备同步、并发、冲突、互斥、
资源共享、资源竞争等特征,是典型的离散事件系统(DES)。
故本课题以带
式输送机为例,阐述约束组合CTPN在为实际系统建模中的优势。
复杂系统往往有多个异构系统组成,在分析和设计的各个阶段也需要不同
的形式化方法来描述系统,每一种建模方法都有自身的优点和缺点、描述现实
世界的不同角度。
多范式建模(Multi.ParadigmModeling)通过耦合和转换以
整合不同方法建立的模型综合利用多种形式化方法,建模可以在不同抽象级别
从不同角度描述现实世界,充分发挥每种描述方法的优势,更全面、准确地对
现实世界建模【8】。
由于每一种形式化建模方法都有不同的语法、语义、计算模
型、运行规律等方面都有很大的差别,所以多范式建模的关键问题是整合不同
的模型,使数据和信息能够在在不同模型间自由地流动[91。
DEVS
Specification)Do]把每个子系统看作一个具有独立内部
结构、行为和明确I/O接口的模型这些模型通过一定的连接机制耦合成耦合模
型,耦合模型可作为更大模型的组成元素,从而形成层次模块化的模型。
DEVS
是实现多范式建模的一个良好的框架。
规则化描述方法【IlJ参考智能控制分层模块化思想,结合DECS系统的特点,
提出一种更直观、更贴近系统本原的基于对象的分层模型。
规则化描述方法中,
控制策略是每个节点发布自身状态信息,通过系统层次类似产生式的描述对象
之间的行为关系逻辑规则表达式来获取要执行的动作。
但是规则库本身存在冲
突性等不安全因素,而Petri网具备一套严密的数学理论,有利于验证和分析,
其形式基础使它与其它并发模型建立了连接,这有益于分布式系统的描述和分
析。
把逻辑规则表达式作为建立Petri网模型的基础可以真实地反映系统设计内
容,大大的减轻仿真建模的工作量,提高整个仿真过程的效率。
综上所述,本课题的目的和意义在于:
针对Petri网在为复杂系统建模时会出现“节点爆炸”问题,提出约束组合
CTPN以提高网元素的抽象能力,以降低模型的规模,使其便于理解、分析和
模拟验证。
(DiscreteEventSystem
以皮带机联锁控制系统为例建立约束组合CTPN模型,阐述约束组合弧在
描述具体问题时的优势。
针对带式输送机联锁控制系统的建模,遵循了为离散事件系统建立高级网
模型的一般过程,即先建立系统的基本网模型,然后根据网射理论折叠为高级
网模型,能够为用Petri网对复杂DES系统建模的应用研究提供了一定的借鉴。
依据多范式建模理论,研究基于规则化描述方法自动生成分布式控制系统
Petri网模型的方法,有利于全面准确地反映设计内容,可以大大的减轻仿真建
模的工作量、提高整个仿真过程的效率。
研究如何将约束组合CTPN和规则化描述方法纳入DEVS框架,使其更方便
2
地与其他形式化建模方法相结合实现多范式建模。
1.2国内外研究概况
Petri网的概念最早是在1962年CarlAdamPetri的博士论文中提出来的。
从
1980年召开第一次Petri网理论和应用的国际研讨会以来,每年一次的国际研讨
会连续不断,Petri网理论和应用在不断的充实和完善。
它的纵向发展表现为:
从基本的条件/事件网,经过位置变迁网,发展到高级网(High.1evel
PetriNets)。
它的横向发展表现为:
从没有参数的网发展到时间Petri网和随机Petri网;从一
般有向弧发展到禁止弧和可变弧;从自然数托肯个数到概率托肯个数;从原子
变迁发展到谓词变迁和子网变迁;另外还有引入控制策略的受控Petri网、引入
知识表示的模糊Petri网等Petri网变形模型。
Petri网具有动态、并发和图形直观性等良好特性。
因此,Petri网作为系统
模拟与分析的有效工具已在众多领域得到广泛应用。
但是在建模复杂系统时出
现的节点爆炸问题却使工程人员望而却步。
高级Petri网通过引入更高层次的观
念来解决这个问题。
更高层次的观念包括利用复杂数据结构的托肯、利用代数
表达式来代表网元素等【l引。
高级Petri网通过对网系统中的标志进行分类和解
析,使网系统的基本元素减少,从而达到缩小网系统规模的目的。
比较成熟的
高级Petri网主要有两种:
颜色Petri网和谓词/变迁Petri网。
高级Petri网并不比原
型Petri网有更强的模拟能力,但是它可以使网模型更加简单、清晰一些【131。
利用Petri网构建、分析复杂系统有以下几种化简思路。
一是通过把状态进
行组合归类来减小可达图表示的大小。
这种思路主要有两种方法:
符号可达图
和参数化可达图。
符号可达图的思路是充分利用系统内部的对称关系来获得可
达状态的紧凑表示【14】【15】【161,而参数化可达图适合参数化的模型【171。
一是把网
元素进行组合归类来减小系统模型本身的大小。
这种化简方法基于网的基本理
论,不依赖于具体问题和初始状态,使模型本身更紧凑更易于理解,能够更好
地支持模型的模拟验证和分析。
例如着色Petri网是对托肯归类并用复杂的数据
结构描述托肯从而使网具有更强的抽象能力。
而文献【6】和Os]提出的思路是添加
新的Petri网元素,以提高Petri网模型的抽象能力。
文献【6】提出用库所容量、检
测弧和抑制弧这些新元素扩展有色Petri网,文献II町又增加了柔性弧、组合弧和
因果弧。
这些新元素没有改变Petri网的描述能力,但是可以在很大程度上简化
网的表示。
多范式建模的关键问题在于如何整合不同的模型,使数据和信息能够在在
不同模型间自由地流动,其解决方法主要有两种:
其一是使用一种一般标准语
言作为接口语言;其二是使用元模型为建模方法建立统一的模型。
B.P.Zeigler于1976年在《Theory
ofmodelingand
simulation}中提出了
DEVS理论,以规范DES的各种形式化建模方法,并提供各种形式化方法建模
和仿真的框架【I91,使离散事件系统的模型可以与连续系统的微分方程模型一样
进行数学化操作【2们。
由于DEVS支持连续的时间基、能够很好地实现分层模块
化以及面向对象的思想,所以在离散事件系统建模领域很受关注。
目前研究
DEVS比较活跃的团体主要有美国亚利桑那州州立大学建模仿真综合中心
(ACIMS:
ArizonaCcntcrforIntegrativeModelingandSimulation)、麦吉尔大
学建模、仿真和设计实验室(MSDL:
Modelling,Simulation
及韩国先进科学技术学院(KAIST:
andDesign
lab)以
KoreaAdvancedInstituteofScienceand
Technology)等。
DEVS优势在于对系统组成结构、通信机制、时间概念的支
持;劣势是它一种贫语义的系统描述、缺乏系统行为的描述【z“。
正因为如此,
将自动机、Petri网等在描述系统行为方面有优势的形式化方法嵌入DEVS也是
必要的。
1.3研究难点及本文的解决思路
在所要解决的问题中,以下两个问题是重点和难点。
一是提高网元素的抽
象能力以达到化简网模型的目的,二是由规则化描述方法的描述文档直接生成
Petri网模型。
模拟运行
图l—l
基于规则化描述方法的Petri网自动建模思路
(1)提高网元素的抽象能力以达到化简网模型的目的。
基本Petri网中托肯
只计个数不计个性,对个体变化细节描述过多,导致模型中库所节点过多,缺
乏描述组合效果的能力,也限制了基本Petri网的抽象能力和直接模拟复杂过程
的能力。
有色Petri网通过对托肯着色使其有了个性,是解决复杂系统Petri网模
型节点过多问题的有效途径之一,但并不能减少由于组合效果缺乏而增加的变
迁节点。
库所组合有色网通过在有色网的基础上添加约束弧、柔性弧、组合弧
和因果弧这四种特殊的弧得到,虽然能够描述组合效果,但是无法描述库所组
合触发变迁时部分输入库所托肯不变的情况。
研究如何用一种类型的弧将组合
弧、约束弧以及有色网的普通弧统一起来,使模型形式上更加统一、表达更加
4
简洁、在描述实际问题时更具有普适性且抽象描述能力{{导到增强将成为该关键
问题的突破口。
(2)由规则化描述方法的描述文档直接生成Petri网模型。
结合规