原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
Petri网仿真语言的设计与研究_唐培和.pdf
13 4 Vol. 13 No. 4
2002 12 JOURNAL O F GU ANGXI UNIVERSITY OF TECHNOLOGY Dec. 2002
1004-6410 (2002) 04-0035-04
Petri
唐培和
(, 545006)
: Petri , Pet ri ,
、 。 Petri。
: Petri ; ;
: TP391. 9 : A
0
Petri,。,
Petri。 ,“, Petri
, Petri, Petri
[1]
”, J. L. Peterson 。 ,,,
[2, 3, 4]
, Petri, 。 Petri
,。,, Petri
, Petri。
1 Petri
[1]
, 。 , = , , , , 0 。 :
Petri C P T I O u
① P= {pi |i= 1, 2,. . . . n; n≥ 0} ,( Place)。
② T= {tj |j= 1, 2, . . . , m; m≥ 0} ,( Transition)。
∞
③ I, O: T→ P ,,。
④ 0: → ,( )。
u P N N
: ∩ = , ∪ ≠ 。
P T Υ P T Υ
Petri( Token)。( Firing),
,。 Petri:
( 0 , 1 , 2 , . . . . . )( 1, 2 , 3 ,. . . . )。 ,:
u u u t t t δ
(uk , tk+ 1 )= uk+ 1 , k= 0, 1, 2, . . . . .
( Marking) Petri,。
2 Petri
2. 1 Petri
, Petri,
: 2002-09-01
: ( 0066006) 。
: ( 1964-) , , 。
36 2002 12
。 ,, Petri
、。, Petri、。,
[5, 6]
、、、, 。 ,
,,,。,,
。, Petri() ,
,、、,。
,,,。
, Petri, Petri
。
2. 2
Petri: ;
Petri。 Petri
。,。
() ,。 ,
,,、、、。
,,
。
2. 3
Petri, Petri,
。,,,
,,,。 ,
Petri, Petri。, Petri,,
t1 , t2 ,……, tn ,,,,,
? Petri,。
t1, t2……, tn T1 , T2 ,……, Tn (、),
,。 ,
,、。
2. 4
。—;
()、;,、、
、、,。
3 Petri
, Petri() ,。
,,,。 。
①,:
, ,……, ;
Var i j z
②: ,。:
= 1 · 2 · 3…… n ;
Macro Dosomething T
文档评论（0）