导　　师： 蒋昌俊

学科专业： H1202

授予学位： 硕士

作　　者： ;

机构地区： 山东科技大学

摘　　要： 该篇文章研究的是基于petri网的离散事件动态系统的精炼操作与工具研制.全文共分为五章.第一章是概述,介绍了当前petri网理论与应用的发展状况.第二章是基本概念.第三章是精炼操作,研究了petri网精炼操作的性质,如状态不减性,行为不变性,一致相关性,公平性,弱公平性,不变量,持续性等等.第四章辅助工具的研制开发,介绍了其原理,网文件的结构,使用的主要算法.第五章是实验分析,用辅助工具对两个例子进行分析,第一个例子是一个简单的加工系统,通过对系统模型的分析验证,可以有效的消除死锁.第二个例子是对罐头包装机的模型分解验证过程.

关 键 词： 网 离散事件系统 辅助工具

分 类 号： [TP301 TP393]

领　　域： [自动化与计算机技术] [自动化与计算机技术] [自动化与计算机技术] [自动化与计算机技术]