基于petri網(wǎng)的智能控制系統(tǒng)建模仿真與性能分析

1、江西師范大學碩士學位論文基于Petri網(wǎng)的智能控制系統(tǒng)建模仿真與性能分析姓名：李建蓮申請學位級別：碩士專業(yè)：計算機科學與技術指導教師：葉繼華201105A b s t r a c tA s t h ee x p a n s i o n o f n a t u r a l a r e a sp e o p l ee x p l o r e d ，t h es c a l eo f c o n t r o ls y s t e mi sg

2、e t t i n gl a r g e ra n dl a r g e r , a n di t s c o m p l e x i t yi s i n c r e a s i n gg r a d u a l l y ．E s t a b l i s h i n g as i m u l a t i n g m o d e l f o r s y s t e m a n a l y s i s i s t h e b a s i

3、s f o r f l l r t h e r d e s i g n a n di m p l e m e n t a t i o n ．T h i sr e s e a r c h i s v e r y s i g n i f i c a n tn O W ．I n t e l l i g e n tc o n t r o l s y s t e m su s u a l l y h a v ea h i e r a r c h

4、i c a ls t r u c t u r e ．T h ei n f o r m a t i o n b e t w e e n t h em o d u l e sm a y b eq u a n t i t a t i v ei n f o r m a t i o n ，q u a l i t a t i v ei n f o r m a t i o n ，o rs o m e t i m e sm a y b ef u z z

5、 y r a n d o mt i m e - v a r y i n gi n f o r m a t i o n ．T h e r e f o r e ，b o t ht h eb e h a v i o r a lc h a r a c t e r i s t i c sa n dc o n t r o ls t r a t e g y o ft h e s y s t e m i s c o m p l e xa n du n

6、c e r t a i n ．U s u a l l y , t h e i n t e l l i g e n t c o n t r o ls y s t e mi s a l la s y n c h r o n o u sc o n c u r r e n ts y s t e m ．P e t r in e tj u s t h a sa u n i q u ea d v a n t a g ef o rd e s c r i

7、 b i n gt h e a s y n c h r o n o u sc o n c u r r e n ts y s t e m s ．P e t r i n e ti sa g r a p h i c a ll a n g u a g e ．I t ’S a p o w e r f u lt o o lf o rd e s c r i b i n ga n d a n a l y z i n gt h ec o m p l e

8、xs y s t e m s ．T h ec o m p l e xi s s u e sc 孤b e t r a n s f o r m e di n t om o r es i m p l ea n d c l e a r e rg r a p h i c sb yP e t r in e t s ．P e t r in e t sc a na c c u r a t e l yd e s c r i b e t h er e l

9、a t i o n s h i pb e t w e e nt h ee v e n t s ，s u c ha ss e q u e n c e ,a s y n c h r o n o u s ，c o n c u r r e n t ，c o n f l i c t ，e t c ．．I tC a D - b o t h e x p r e s st h es t a t i cs t r u c t u r eo f t h e

10、s y s t e ma n da n a l y z et h e d y n a m i cb e h a v i o ro ft h e s y s t e m ．T h e r e f o r e ，P e t r in e t sa r ef a i r l y s u i t a b l ef o r m o d e l i n ga n da n a l y z i n g t h ei n t e l l i g e n

11、 tc o n t r o l s y s t e m s ．T h i sp a p e r s e l e c t e di n t e l l i g e n te l e v a t o rs y s t e ma st h er e s e a r c ho b j e c t ，e s t a b l i s h e ds i m u l a t i o nm o d e lb a s e do nP e t r i n e

12、 t s ．I nv i e w o ft h en e e d sa n dc h a r a c t e r i s t i e so fi n t e l l i g e n te l e v a t o rs y s t e m ，i n t r o d u c e dc o n c e p t so fh i e r a r c h y , t i m ea n dc o l o rt ot h eb a s i cP e t

13、 r in e t s ．U s e da c o m p o s i t e h i g l l —l e v e lP e t r in e t s —H i e r a r c h i c a lT i m e d C o l o r e dP e t r in e t s ( h e r e i n a f t e rr e f e r r e dt oa sH T C P N ) t o c r e a t eH T C P

14、N m o d e lo f i n t e l l i g e n te l e v a t o rg r o u pc o n t r o l s y s t e m ．T h e m o d e l s o l v e s t h ep r o b l e m o f t o om a n y n o d e s ，s t a t es p a c ee x p l o s i o n ，n ot i m i n ga n d o

15、 t h e ri s s u e sb a s e dO nb a s i c P e t r in e tm o d e l ．T h e n ，s e l e c t e dt h em a i n s t r e a ms i m u l a t i o nt o o l C P N T o o l sf o re s t a b l i s h i n gH T C P N m o d e l ．W i t hi t sm o

16、 d e l i n g t e c h n i q u e s o f s u b s t i t u t i o nt r a n s i t i o na n df u s i o np l a c e ，e s t a b l i s h e da l lH T C P N m o d e l o f i n t e l l i g e n te l e v a t o rc o n t r o lc i r c u i t ．

17、F i n a l l y , b ys i m u l a t i o n r u n n i n go f t h em o d e l ，a n a l y z e dt h e r e l a t i v ep e r f o r m a n c eo f t h em o d e l ，v e r i f i e dt h ec o r r e c t n e s sa n df e a s i b i l i t y o f

18、t h em o d e l ．B yc o n t r a s tw i t ht h e s i t u a t i o no f n o n ．p a r a l l e l c o n t r o ls y s t e mp r o v i d i n ga s e p a r a t es e r v i c e ，t h e e l e v a t o rs y s t e mw h i c ha d o p t e dt