ϺдרҵṩĴдķ
| ľ| | ʷ| | ˮ| ְ| ˶ʿ| | | ôд| | Ŀ
ѧ| | ҩѧ| | ҵ| ̸| ѧ| | ԰| | ͼ| | Ļ
ڵλãҳ > > רҵҵ > У԰ϴԡϵͳɴԽģо
У԰ϴԡϵͳɴԽģо
ʱ䣺2018-05-31
ժҪؼ
Petriͼηֱϵͳṹϵͳ״̬仯,ӦϵͳĽģʷ.Zhai P J[1]һֻPetriŻ,֧ʵ,ȷʽ,ͨؿƽṹŻ.Zuo-Wei F U[2]ȸƻŻ㷨,ΪPetriӦṩһµ˼·.ʯ [3]ΪҵϵͳŻ,ͨӻǨͿҵ̽нģŻ.[4]˻ҵģͳŻ,ʵҵ̵Ż.··[5]PetriĹϵͳҵģ,ͨPetriʽģ֤ģ͵Ч.С[6]ͨPetriģȷΪ֮ĶӦϵ,ΪΪԼ㷽,Ϊûṩ֧.ͨpetriģ,petriУ԰ʹģ,ͨӿƽṹŻϵͳ,ʹܹͨϵͳػϢ,ʵֶУ԰ϴԡϵͳŻ,ӶûԻϴԡ.

1У԰ϴԡϵͳɴԽģŻ

У԰ϴԡϵͳΪ.ԡҺ,ʹ߲У԰,ϵͳԶÿ.ͨ,ȡӦĸϢ,ˮ˻.˻ʱ,ˮͷͻ.ͼ1,t0忨,t1ϵͳ,һṹ[8].ĿУ԰,˵ÿѾ,ôϵͳͻᴥװt2,t7,ʾt8,ȷ,t9,֮t10,²忨,Ȼ¼,t1ٴη.Ŀͨϵͳ,t2ȡ,ˮе,t3,һṹ,ֵˮе.ˮлнʱ,t4,t5,ʱˮͷˮ.ˮȡ,t6.һt11,⵽ˮûн,ʾֵ,t12,ִгֵʱ,t13
ͼ1У԰һͨϵͳģ
ͼ1У԰һͨϵͳģ

ϵͳȻԳɹطӳϴԡ,ȱԻһЩʾ.˵,У԰ͨȡˮеĽʱ,ˮԪʱ,ӦѺõʾû,ûһµ˽.Ϊһ,Ԫܹͨһγõϴԡ.Դ״,߶Ըù½Ż,ͼ2.
ͼ2У԰һͨϵͳŻ
ͼ2У԰һͨϵͳŻ

ͼ2,ϵͳ⵽ˮʱ,t4,ˮͷˮ,ٶнһȽ,һṹ,߿dz.2Ԫʱ,txʾ,ʱִt24,ˮͷˮ,Ȼȡ,t25.ǵ2Ԫ,tyʾ,ʱʾû,ˮִ֧ܲ˴εϴԡ,t21.û֪֮,ѡǷȥֵ,߼ϴԡ.ӦҲһṹ.ʹѡֵʱ,ִ֮֮ǰһ,׸.ʾ,ѡϴԡ,һǨt23ʾȴ3,ûһѡʱ,3,ˮͷˮ.Կ,ͨһ(tx,yy)ṹ,ɹʵ˶У԰ϴԡϵͳŻ,Ӷû˸Իϴԡ.
1P˵
1P˵

2ǨT˵
2ǨT˵

2У԰ϴԡϵͳɴԽģʹ

PIPEV4.2.1зʵ,֤ŻǷ Ԥ ڵҪ.ͼ3.ͨ StateSpace Analysisóͼ4.
ͼ3У԰ϴԡϵͳPIPEͼ
ͼ3У԰ϴԡϵͳPIPEͼ
 
ͼ4״̬ռ
ͼ4״̬ռ

֤ŻнԡȫԼ.ʵ,ýṹܹнԺͰȫԵҪ.

3

ͨӿƽṹŻϵͳ,ɹʵ˶У԰ϴԡϵͳŻ,Ӷû˸Իϴԡ,Ϻõʾˮ.,ϵͳܹpetriнԺͰȫ,Ƕδջϵͳ,Ҫһо

ο
[1]Zhai P J,Wang L L,Liu X W.Optimization analysis of payment process model based on petri net[J].Journal of Hubei Normal Uni-versity,2017(3):71-75.
[2]Zuo-Wei F U,Yue X B.A workflow model optimization based on Petri net [J].Journal of Changsha University of Science & Tech-nology,2012(6):81-86.
[3]ʯ,ΰ,.PetriϹϵͳģŻ[J].ֹ̼ʦѧԺѧ,2017(6):99-101.
[4],ΰ,.PetriõIJϲɹϵͳŻ[J].ʦѧѧ,2017(4):13-18.
[5]··,.Petriıչϵͳģ֤[J].ĵʦѧԺѧ:Ȼѧ,2017(1):5-8.
[6]С,.Ϊ־ΪԷ[J].ĵʦѧԺѧ:Ȼѧ,2017(3):1-5.
ȨУϺרҵȨĴдķվϡûΪ׵ķÿһλͻ
վռ磬вַȨ棬ʱµдŸ֪ǽһʱ䴦䣺gs@shlunwen.com