基于petri网的应用软件开发及其关键技术

《基于petri网的应用软件开发及其关键技术》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第?$卷第!期曲阜师范大学学报O;F=?$.;=!!##"年%月K;1)3/F;LM1L1.;)

2、&’()*.’(,/)012-/341/4’）交换格式的&’()*网模型，并简要介绍了基于&’()*网的多主体运行环境&.56（&’()*.’(78/7’954’3(763:*);3<’3(）=关键词：&’()*网；&.,-；&.56中图分类号：>&?@$=@文献标识码：5文章编号：$##$A"??（B!##"）#!A##"?A#%$引言具分离的问题，即在应用系统之外还要存在一个&’()*网分析工具，显然这不是用户所希望的=本文&’()*网［$，!，?］的概念最早由西德的&’()*C5博提出一种新思路，考虑如何将&’()*网嵌入到具体应士于$@

3、D!年提出，作为一种系统描述和分析的形式用系统或软件当中的问题，通过应用软件，可以直接化工具，特别适合便于描述并发和分布式系统=对创建系统当中的各个对象单元乃至整个系统，然后于一个系统，如果能够构造出其对应的&’()*网模进行系统分析，这样就避免了用户要在两个独立的型，通过对该&’()*网模型的分析，可以得到原系统系统应用软件上进行系统分析和应用的工作=比如［%］的结构和动态运行方面的许多重要信息，可用于对对于多主体系统（,1F(*A/4’3(7G7(’<），我们希望设系统的性能评价或对系统的改进提出建议=与传统计这样一个软件：可以直接利用系统

4、当中的&’()*网的逻辑方法相比，&’()*网能够清晰地表示出系统中工具创建一个主体，对多主体系统可以直接得到其并发的行为=目前，对&’()*网的研究已经取得比较对应的&’()*网模型，这样在一个应用软件里面就可成熟的理论研究成果和广泛的应用，这得益于&’()*以完成对多主体系统的&’()*网建模和分析等工作=网不仅具有可视化描述的特点，并且同时提供有完整的分析工具，可以对系统进行定性和定量的分析=!!"#$%网基本概念和分析方法&’()*网已经被应用于协议分析工程领域，程序验证，柔性制造系统，人工智能，软件工程等领域=随着对我们这里仅列出&’

5、()*网相关的基本概念和基应用系统模拟和分析的实际需要，人们从模型的建本分析方法，关于&’()*网的详细介绍可以参见文献模能力和表达能力对基本&’()*网模型进行了扩充，［$，!，?］=得到不同的&’()*网模型，如高级&’()*网（颜色&’()*!=$!"#$%网基本概念网，谓词E变迁网），抑制弧&’()*网模型，时间&’()*网首先对于一个网结构，可以形式定义如下：［!］与随机&’()*网及面向对象的&’()*网等=定义!=$满足下列条件的三元组!H（"，对于&’()*网的应用，目前传统的方法是先得到#；$）称为一个网：系统对应的&’()*

6、网模型，然后对&’()*网模型进行分$）""##%；析，最后将分析结果应用到系统当中对应性质的分!）"$#H%；析或验证=当前各个领域都已经有比较成熟的应用?）$%（（"I#）"（#I"））；软件，如果利用传统的方法应用&’()*网模型对系统%）9;<（$）"J;（9$）H""#；进行分析，则会存在领域应用系统和&’()*网分析工其中：!收稿日期：!##%P$#P!D万方数据作者简介：徐颖蕾，女，$@BDP，讲师；主要研究方向：&’()*网理论及应用，分布式系统=>K曲阜师范大学学报（自然科学版）)GG>年!"#（!）$｛"!#"$%#%!#"

7、$：（"，%）!!）；分条件’&"（!!）$｛"!#"$%#%!#"$：（%，"）!!）；（)）图分析技术这里的#元素称为库所元素，$元素为变迁元图分析技术是以一个有限的有向图（树），直接素，是网的基本元素集，!是网中的流关系’对于库展现一个网系统的运行机制，如可达图与可覆盖树，所(变迁元素，前置（后置）变迁(库所集如下定义：类似于一个状态机，其优点是能够反映一个网系统［)］定义)’)设&$（#，$；!）为一个网，对于的动态行为和特征，特别是对于有界网系统，它是一"!#"$，记个准确的刻划，并且对应一个有限状态机，而对于无*"$｛%%%!#"$

8、$（%，"）!!｝，界网却只能部分反映’"*$｛%%%!#"$$（"，%）!!｝，（3）归纳分析技术称*"为"的前置元素集或输入集，"*为"的后置元归