petri网的模拟与验证研究

《petri网的模拟与验证研究》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、西华大学硕士学位论文Petri网的模拟与验证姓名：叶剑虹申请学位级别：硕士专业：计算机软件与理论指导教师：宋文20060301 磷华大学硕士学位论文计算机软件与理论专业本人的研究是从模拟与验证两方面展开的。利用结构性分析理进行了较为深入细致的研究，得到了一些新的结果。主要贡献包括： 西华大学硕士学位论文了在—般网系统下如何判定系统的结构活性。了一个多项式时间内求解最小标识集的算法。不变的讨论一般在具体系统中作具体分析，从而给出具体的解释。对定理。 西华大学硕士学位论文������一母�肌��������

2、���抽������鷇����镐，����曲���鷇�������．�鏼��������������．�蒭�������，�����，�������������������������������������猟�������������．��������������瑂�������啦��】��禿��—���禿��������������������������������������������� 西华大学硕士学位论文��������劬�������騪���．����������拒��锄�瑆������

3、縫���縤������，���“�����畇�����璾曲���鷘����曲血�輑����，�������疵�����������．���猧����．�������������������册������韕����柚���������甌������Ⅱ��鼯������吣�也���������讧．����畉��������騟��������倒陕������，�����猧���������������������瓾���畉��������� 西华大学硕士学位论文第一章综述��年由德国的����网理论研究发展的

4、奠基石。�．��У腗�理论研究小组的注意，并做了相关的研究工作，这 西华大学硕士学位论文����等价。方法。对于网络环境，需要描述冲撞，冲突，并发，同步等基本特直观，潜在的模拟能力强等特点被广泛地应用于离散事件系统的模入、广泛的应用。发展����扑慊�荘��网模型的必然要求和供分析方法。利用�Ⅲ网模型可以研究两类特性：依赖于初始状大而呈指数增长。因此，在实际应用中，常常不仅需要根据特定的型进�二化简处理或结构分析等¨�盝。 西华大学硕士学位论文数据腔制流，触发条件／动作，多样化的系统资源进行建模，其模�

5、�尽啊��康取５�撬孀臥��网模型的描�����俊���从����适酪岳矗�泄豍�“网的性质的研究就一直非常的个概念在基于结构分析技术的研究过程中一直扮演着重要的角色， 西华大学硕士学位论文���在这些研究过程中，活性，单调性等描述的是网的动态行为，而结构活，同步距离岱����������】描述的是网的静态结征，常常需要加以许多的外部控制，导致整个网的模型显的更为复 西华大学硕士学位论文杂。这正是自控网的长处所在。但是由于自控网的非线性，使得它何体现�宰钥赝�男灾逝卸ㄓ钟泻我娲�我们得到了较一般的结论。

6、��本文的主要内容 西华大学硕士学位论文�倒网理论的基本概念仅当尸�且，��琾。�且桓鲇邢蘅馑������；��，孤。，∈�×丁��　罰�甦�������瑄丁，�，�∈，�獂�陏�����髄���赺—�线段或小方块来表示，库所和变迁之间是通过有向弧来连接的。 西华大学硕士学位论文��，���，掰��∥�，���一∥�，�记作��’，称��V獾暮蠹瘫晔������。定义��．�睥羰且桓鯬��网，���省綧�，如果�∈�瑂』��跰’，则��省綧�．��。若协，�蕏：‘���������，则Ⅳ为 西华大学硕士

7、学位论文��曲∞�����癮���鷆�����图�处存在冲突关系阶矩阵�篜×丁一�凶魍�舻墓亓>卣���������，其矩定义��．��跫��录�低������玽�����虺艭忸系统，是通用网论，特别是同步论和网逻辑的基础。一个四元组∑·���。籉，���琈�芄钩蒫但一系统的要求是：����。籉，���为简单有向网，称为∑的基网；���食螅ィ�肌蕀噏�畇�【�琈： 西华大学硕士学位论文坳∈丹�＃琈�省綧��甈∈�琟�㎝�㎝������但系统的事件容许反向发生。个体状态；故称之为谓词／变迁系统。的个体集；

8、�嫌懈�ǖ脑怂惴�疩：��笫荄上的变量集：�海瓼一九，其中丘是�姆�藕图�６詎元谓词�蔖，若定义��．�晔锻����令���，丁；�是一个�����芧，为标识网，当且仅当坳∈�琟，��蔿��篕��∞；�，，矿���．���当且仅当Ⅵ∈�翰稨�����Ⅳ称为标识图�虺芃�，当且 ���和���的范例定义��．�杂裳≡裢���������虺艶���冢簗�正��等价的定义还有：�。，�骸剩��畆，���俾��敲磃．��‰��定义��．�嵌猿蒲≡裢