基于分层思想的基本通信系统CPN建模.pdf

文档介绍：、分类号;TP311单位代码;10422
【密级学号200812522
心东力不
,硕士学位论文
论文题目基于分层思想的基本通信系统CPN建模
MODELINGOFTHEBASICCOMMUNICATION
PSYSTEMWITHCPNBASEDONHIERARCHICAL
sTHINKING
作者晁媛媛
专业计算机软件与理论
导师卢雷副教摒
舍2011年4月20日
论文作者签名痣娉导师签名衰一瓷日期,l牛加
照暹
原创性声明和关于论文使用授权的说明
原创性声明
本人郑重声明所呈交的学位论文,是本人在导师的指导下,
独立进行研究所取得的成果。除文中已经注明引用的内容外,本
论文不包含任何其他个人或集体已经发表或揣写过的科研成果。
对本文的研究做出重要贡献的个人和集体,均己在文中以明确方
式标明。本声明的法律责任由本人承担。
论文作者签名忌蟆二璧日期,刚中义
关于学位论文使用授权的声明
本人完全了解山东大学有关保留、使用学位论文的规定,同
意学校保畔或向国家有关部门或机构送交论文的复印件和电子
版,允许论文被查阅和借阅;本人摒权山东大学可以将本学位论
文的全部或部分内容编入有关数据库进行检索,可以采用影印、
缉印或其他复制手段保存论文和汇编本学位论文。
保密论文在解密后应遵守此规定
H园
912
山东大学硕土学位论文
Abstact.、
第章绪论.。
14问题提出的腐春与意义.
12系统建模的研究现状。

122形式化建横方法
13本文的主要工作和b新点
14本文纬织绪构.
第二章相关研究与分枪
21基本通信系统的概吾
22基本通信系统的会统建横方法

222Peti网模
23传统通模方法的比

232面向对象方法
24面向对象与eti网结吐的建模方法
.


33符号的引入及借用
山东大学颊士学位论文
一一一一一一一一一一一一一一一一一
.

第四章实例分析
41实例揣述.
42模型林建.
43实例的扩展
51可迩性分析
52有界性与安全性分析
山东大学硕士学位论文
CONTENTS
AbstctinChinese
AbstctinEnglist,
Chapler1Intioduction..、
14Background.
12ResearchofSysemModsing.、
121MethodofObjectOrienedModslng.
122MehodofFormalizstModeting、
13PhimayWorkandInnovation.
140rganizaton
Chapler2RalatedResearchandAnajysi
21TheDefnitionoftheBasieCommuicationSyslem.、
22ThadiionalModsiingMethodsoftheBasicCommunicationSystem
2210bjecfOnientedUMLModal.、
222PetiNetModsl.、
23ComparisonofTraditionalModetingMethods..
、
2320jectOfieantedMethod、
24CombinatonefObjecOrientedandPetiNetModslingMehod、
气马史口史不
25Sunmay.
Chapter3ModelngoftheBasicCommunicationSystemwithCPNBasedon
HierarchicalThinking
、
、

吊吊吊吴吊
32HienreicalPrncipleoftheBasicCommunicationSystem
33ThelntoductonndUseofSymbols
山东大学硕士学位论文
34MethodoftheBasicCommunicationSystemModelwithCPN
、
Chapter4CaseStudy.
41Desenpton.
42BuildingModels.
43Exiension
44Summay.
Chapler5PloperiesAnalysisofModal,
5AnalysisofReactAbiity
52AnalysisofBoundnessandSafeness.、
53Analysi