I n t e r n a t i o n a l   J o u r n a l   o f   E l e c t r i c a l   a n d   C o m p u t e r   E n g i n e e r i n g   ( I J E C E )   V o l . 2 ,   N o . 3 ,   J u n e   2 0 1 2 ,   p p .   4 3 3 ~ 4 4 0   I S S N :   2 0 8 8 - 8 7 0 8     4 3 3       J o u r n a l   h o m e p a g e :   h t t p : / / i a e s j o u r n a l . c o m / o n l i n e / i n d e x . p h p / I J E C E   M o d e l i n g   a n d   V a l i d a t i o n   o f   t h e   D y n a m i c   H o s t   C o n f i g u r a t i o n   P r o t o c o l   w i t h   C o l o r e d   P e t r i   N e t s       F a r h a d   S o l e i m a n i a n   G h a r e h c h o p o g h * ,   R e z a   S o u f i z a d e h * *   *   D e p a r t e m e n t o f   Co m p u t e r   E n g i n e e r i n g ,   H a c e t t e p e   U n i v e r s i t y ,   Be y t e p e ,   A n k a r a ,   T u r k e y .   * *   D e p a r t e m e n t   o f   Co m p u t e r   E n g i n e e r i n g ,   S c i n c e   a n d   Re s e a r c h   Br a n c h ,   I s l a m i c A z a d   U n i v e r s i t y ,   W e s t   A z e r b a i j a n ,   I r a n .       A r t i c l e   I n f o     A B S T R A C T   A r t i c l e   H i s t o r y :   R e c e i v e d   A p r   2 4 th ,   2 0 1 2   R e v i s e d   M a y   2 4 th ,   2 0 1 2   A c c e p t e d   M a y   2 9 th ,   2 0 1 2       P e t r i   N e t w o r k s   w i t h   a   g r a p h i c a l   l a n g u a g e   a r e   b a s e d   o n   m a t h e m a t i c a l   l o g i c   w h i c h   h a v e   m a n y   u s e s   a n d   h a v e   c a p a b i l i t y   f o r   m o d e l i n g   a n d   v a l i d a t i o n   o f   d i s t r i b u t e d   s y s t e m s   a n d   c o n c u r r e n t   a p p l i c a t i o n s .   Co l o r e d   P e t r i   N e t w o r k s   ( CP N s )   a r e   a   t y p e   o f   P e t r i   N e t w o r k   m o d e l s   t h a t   a r e   u s e d   i n   m o d e l i n g   o f   s y s t e m s   w h i c h   c o n t a i n   d i s c r e t e   a n d   s c a t t e r e d   e v e n t s .   I n   g e n e r a l ,   CP N s   a r e   u s e d   t o   e v a l u a t e   s y s t e m   p e r f o r m a n c e   a n d   d e m o n s t r a t e   t h e   c o r r e c t n e s s   o f   s y s t e m s .   D y n a m i c   H o s t   Co n f i g u r a t i o n   P r o t o c o l   ( D H C P )   i s   o n e   o f   t h e   m a i n   s y s t e m s   o f   p r o t o c o l s   s p e c i a l   f o r   s e r v e r s   t h a t   a r e   u s e d   f o r   d y n a m i c   a l l o c a t i o n   o f   I P   t o   t h e   n e t w o r k   c o m p u t e r s   ( c l i e n t s ) .   I n   t h i s   p a p e r ,   w e   h i g h l i g h t   t o   a n a l y z e   t h e   c o r r e c t n e s s   a n d   a u t h e n t i c i t y   o f   D H CP s   w i t h   t h e   u s e   o f   CP N s   w i t h   u s i n g   t h e   C P N   T o o l s   a n d   t o   p r o v e   t h e   a c c u r a c y   o f   o u r   p r o t o c o l ' s   p e r f o r m a n c e .   K e y w o r d :   P e t r i   N e t s   C o l o r e d   P e t r i   N e t s   D H C P   M o d e l i n g   M L   Co p y r i g h t   ©   2 0 1 2   I n s t i t u t e   o f   A d v a n c e d   E n g i n e e r i n g   a n d   S c i e n c e .     A l l   r i g h t s   r e s e r v e d .   C o r r e s p o n d i n g   A u t h o r :   F a r h a d   S o l e i m a n i a n   G h a r e h c h o p o g h ,     D e p a r t e m e n t   o f   C o m p u t e r   E n g i n e e r i n g ,   H a c e t t e p e   U n i v e r s i t y ,   0 6 8 0 0 ,   B e y t e p e ,   A n k a r a ,   T u r k e y .   E m a i l :   f a r h a d @ h a c e t t e p e . e d u . t r       1 .   I N T R O D U C T I O N   P e t r i   n e t s   w e r e   i n t r o d u c e d   i n   t h e   1 9 6 2   b y   M r .   C a r l   A d a m   P e t r i   f o r   m o d e l i n g   c o n c u r r e n t   s y s t e m s .   B u t   d u e   t o   s o m e   w e a k n e s s e s   i n   t h e   m o d e l i n g   o f   r e a l   s y s t e m s ,   l a t e r   i n   1 9 7 9   a t   A a r h u s   U n i v e r s i t y   i n   D e n m a r k ,   M r .   K u r t   J e n s e n   i n t r o d u c e d   C P N s   f o r   t h e   m o d e l i n g   o f   c o n c u r r e n t   a n d   d i s t r i b u t e d   s y s t e m s   w h i c h   h a d   s t r o n g   m a t h e m a t i c a l   l o g i c   a s s o c i a t e d   w i t h   M L   p r o g r a m m i n g   l a n g u a g e .   I n   t h e   C P N ,   s i n g s   h a v e   c h a r a c t e r i s t i c s   w h i c h   t h e y   a r e   c a l l e d   c o l o r s .   C o l o r   o f   s i g n s ;   a c t u a l l y   i n d i c a t e   t h e   b e l o n g i n g   o f   s i g n s   t o   d i f f e r e n t   g r o u p s   a n d   d i f f e r e n t i a t i o n   o f   t h e i r   b e h a v i o r s   i n   t h e   n e t w o r k .   T h e   m e a n i n g   o f   c o l o r   f o r   s i g n s   r e s e m b l e s   t h e   m e a n i n g   o f   c h a i n s   o r   c a t e g o r i e s   i n   l i n e d   n e t w o r k s .   A n y   s i g n   i s   a   d a t a   o b j e c t   f r o m   a   d a t a   t y p e   w i t h   a   u s e r - d e f i n e d   d a t a   s t r u c t u r e   w h i c h   i s   d e f i n e d   i n   t h e   M L   f u n c t i o n a l   l a n g u a g e   [ 1 ] .   N o w a d a y s   t h e   C P N s a r e   u s e d   w i d e l y   i n   t h e   d e s c r i p t i o n   o f   s y s t e m s   t h a t   a r e   b a s e d   o n   t h e   m a t h e m a t i c a l   l o g i c .   S p e c i a l l y ,   i n   r e c e n t   y e a r s   l o t s   o f   r e s e a r c h e s   h a d   b e e n   d o n e   a r o u n d   t h e   m o d e l i n g   o f   c o n c u r r e n t   a n d   d i s t r i b u t e d   s y s t e m s   w i t h   C P N s .   A l s o ,   f o r   m o d e l i n g   a n d   p r o v e   t h e   c o r r e c t n e s s   o f   i t ,   a n d   a l s o   p e r f o r m a n c e   o f   s y s t e m s ,   d i f f e r e n t   m o d e l i n g   l a n g u a g e s   h a v e   b e e n   i n t r o d u c e d   t h a t   e a c h   h a s   i t s   o w n   s t r e n g t h s   a n d   w e a k n e s s e s .     W e   c a n   a s s o c i a t e   C P N s     w i t h   t i m e   t o   e x a m i n e   p e r f o r m a n c e   o f   t h e   s y s t e m   ( t o   f i n d   t h e   t i m e   c o n s u m i n g   s p o t s   i n   s y s t e m ) . O n e   o f   t h e   p r o t o c o l s   e x i s t i n g   o n   t h e   I n t e r n e t   f o r   d y n a m i c   a l l o c a t i o n   o f   I P   t o   t h e   c l i e n t s   i s   u s e d   b y   t h e   s e r v e r .   T h i s   p r o t o c o l ' s   j o b   i s   t h a t ,   e a c h   c o m p u t e r   i n   t h e   n e t w o r k ,   n e e d s   a n   a d d r e s s   t o   c o m m u n i c a t e   w i t h   o t h e r   c o m p u t e r s ,   t h i s   a d d r e s s   c a n   b e   m a n u a l l y   o r   a u t o m a t i c a l l y   g e n e r a t e d   b y   a   s e r v e r   n a m e d   D H C P   S e r v e r .   I n   t h i s   p a p e r ,   w e   m o d e l   D H C P   u s i n g   C P N s '   f e a t u r e s   a n d   t o o l s   o f   C P N T o o l s ,   a n d   w i l l   s h o w   t h a t   t h i s   p r o t o c o l   w o r k s   p r o p e r l y .   Evaluation Warning : The document was created with Spire.PDF for Python.
                    I S S N :   2 0 8 8 - 8 7 0 8   I J E C E     V o l .   2 ,   N o . 3 ,     J u n e   2 0 1 2   :     4 3 3     4 4 0   4 3 4 W e   w i l l   r e v i e w   p e r f o r m e d   p r e v i o u s   w o r k s   i n   t h i s   f i e l d   i n   t h e   s e c t i o n   2   o f   t h i s   p a p e r .   S e c t i o n   3   a n d   s u b s e c t i o n s   o f   i t   a r e   i n t r o d u c e d   t h e   C P N s   a n d   m o d e l i n g   c o n c e p t s   w i t h   t h e m .   I n   t h e   s e c t i o n   4   a n d   s u b s e c t i o n   o f   i t ,   w e   w i l   m o d e l   t h e   D H C P   p r o t o c o l   b y   C P N T o o l s   a n d   w e   w i l l   v e r i f i e d   t h i s   p r o t o c o l .   F i n a l l y ,   i n   t h e   s e c t i o n   5 ,   w e   w i l l   c o m p a r e   t h e   p r o p o s e d   m o d e l i n g   m e t h o d   w i t h   o t h e r   m e t h o d s   a n d   p r e s e n t e d   t h e   r e s u l t s   o f   t h e   p a p e r .       2 .   R E L A T E D   W O R K S   C P N   i s   a s   m a t h e m a t i c a l   b a s e d   m o d e l i n g   l a n g u a g e   f o r   v a l i d a t i o n   a n d   v e r i f i c a t i o n   o f   t h e   c o n c u r r e n t ,   s y n c h r o n i z a t i o n   a n d   d i s t r i b u t e d   s y s t e m s .   A s   t h i s   r e g a r d ,   i t   h a s   b e e n   m a n y   p e r f o r m e d   r e s e a r c h   i n   t h i s   d o m a i n .   F o r   e x a m p l e ,   J e n s e n   e t   a l .   [ 2 ]   a r e   p r e s e n t e d   a   b r i e f   i n t r o d u c t i o n   t o   t h e   C P N   m o d e l i n g   l a n g u a g e   a n d   t h e   a s s o c i a t e d   a n a l y s i s   m e t h o d s .   T h e y   b e l i e v e   t h a t   t h e   C P N   m o d e l s   c a n   b e   u s e d   t o   v a l i d a t e   b o t h   t h e   f u n c t i o n a l / l o g i c a l   c o r r e c t n e s s   a n d   t h e   p e r f o r m a n c e   o f   t h e   s y s t e m s .   P h a n s e   e t   a l .   [ 3 ]   a r e   c o n s i d e r e d   a n   a n a l y t i c a l   m o d e l   o f   t h e   a v a i l a b i l i t y   o f   t h e   p o l i c y   d i s t r i b u t i o n   s e r v i c e   i n   a   M o b i l e   A d   h o c   N e t w o r k s   ( M A N E T )   a n d   a n a l y z e   t h e   p e r f o r m a n c e   b y   m e a n s   o f   s t o c h a s t i c   P e t r i   n e t s   ( S P N s ) .   T h e   p r o p o s e d   m o d e l   i s   c o m p o s e d   o f   t w o   l e v e l s   o f   c o m p l e x i t y   w h i c h   t h e y   a r e   t h e   s i m p l e   M a r k o v i a n   m o d e l   w i t h   P o i s s o n   a s s u m p t i o n s   a n d   a s   a   m o r e   a c c u r a t e   n o n -   M a r k o v i a n   m o d e l   w i t h   g e n e r a l   d i s t r i b u t i o n s .   A l s o ,   J a m a l i   a n d   K h o s r a v i   [ 4 ]   a r e   p r e s e n t e d   a   n e w   a p p r o a c h   t o   e n s u r i n g   c o r r e c t n e s s   o f   a n   M A N E T   r o u t i n g   p r o t o c o l s .   T h e y   a c h i e v e d   a   f o r m a l   m o d e l   f o r   t h e   p r o t o c o l s   a n d   a n a l y z e   t h e   m o d e l s   b y   m a n e s   o f   C P N s   t o   d e t e r m i n e   i f   n e e d e d   t h e   p r o t o c o l   p r o v i d e s   t h e   d e f i n e d   s e r v i c e   c o r r e c t l y .   H o w e v e r ,   O t h m a n   e t   a l .   [ 5 ]   a p p l i e d   t h e   C P N   t o   m o d e l i n g   a n d   p e r f o r m a n c e   e v a l u a t i o n   o f   t h e   E Q - M A C   p r o t o c o l .   E Q - M A C   [ 6 ]   i s   q u a l i t y   o f   s e r v i c e   a n d   e n e r g y   e f f i c i e n t   h y b r i d   M A C   p r o t o c o l   s p e c i f i c a l l y   u s e d   i n   w i r e l e s s   s e n s o r   n e t w o r k s .   R a u f   a n d   J e y a k u m a r [ 7 ]   d e v e l o p e d   f o r   v a r i o u s   c o m p o n e n t s   o f   t h e   e x p e r i m e n t a l   s e t - u p   a n d   e x p e r i m e n t a t i o n   i s   c o n d u c t e d   t o   m e a s u r e   t h e   d e l a y   c a u s e d   b y   t h e   s w i t c h ,   t h e   A P   a n d   t h e   w o r k s t a t i o n s   b a s e d   o n   C P N   m o d e l i n g   l a n g u a g e .   A s   a   r e s u l t ,   t h r o u g h p u t   a s   n e t w o r k   p e r f o r m a n c e   m e a s u r e   f o r   W L A N   d e c r e a s e s   a s   t h e   p r o b a b i l i t y   o f   c o l l i s i o n   i n c r e a s e s .   T h i s   m e a s u r e   d e c r e a s e d   f o r   a   c e r t a i n   l e v e l ,   w h e n   t h e   n u m b e r   o f   s t a t i o n s   c o n n e c t e d   w i t h i n   t h e   n e t w o r k   i n c r e a s e s .   A l s o ,   r e f e r e n c e   [ 8 ]   p r o p o s e d   a   p e r f o r m a n c e   s t u d y   o f   t h e   d i s t r i b u t e d   c o o r d i n a t i o n   f u n c t i o n   o f   8 0 2 . 1 1   n e t w o r k s   a n d   p r o p o s e d   a   d e t a i l e d   8 0 2 . 1 1 b   m o d e l   b a s e d   o n   O b j e c t - o r i e n t e d   P e t r i   N e t s   t h a t   p r e c i s e   b a c k   o f f   p r o c e d u r e   a n d   t i m e   s y n c h r o n i z a t i o n ,   p e r f o r m a n c e   a n a l y s e s   a r e   e v a l u a t e d   b y   s i m u l a t i o n   f o r   a   d e n s e   w i r e l e s s   n e t w o r k .   A z g o m i   a n d   K h a l i l i   [ 9 ]   p r o p o s e d   a   n e w   C P N   m o d e l   ( h i e r a r c h i c a l   m o d e l i n g   c a p a b i l i t y   o f   C P N s )   f o r   m o d e l i n g   a n d   p e r f o r m a n c e   e v a l u a t i o n   o f   a   m e d i u m   a c c e s s   c o n t r o l   p r o t o c o l   i n   w i r e l e s s   s e n s o r   n e t w o r k s   c a l l e d   s e n s o r   m e d i u m   a c c e s s   c o n t r o l   p r o t o c o l   ( S - M A C ) .   S - M A C   i s   a n   e n e r g y - a w a r e   M A C   p r o t o c o l   w i t h   n o d e s   s c h e d u l i n g .       3 .   C O L O R E D   P E T R I   N E T S   P l a c e s ,   t r a n s i t i o n s   a n d   s y m b o l s ,   m e a n i n g   o f   c o l o r s ,   G u a r d s   a n d   p h r a s e s   h a v e   b e e n   i n t r o d u c e d   i n   t h e   C P N   f o r   b e i n g   c a p a b l e   o f   t r a n s f e r r i n g   d a t a   w h i c h   c a l c u l a t e d   b y   t h e   s i g n s .   I n   P e t r i   n e t w o r k   t w o   p h a s e s   o f   a n a l y s i s   a n d   i m p l e m e n t a t i o n   t a k e   p l a c e   s i m u l t a n e o u s l y   a n d   a l s o   s u p p o r t s   c o n c u r r e n c y   a n d   a r e   s u i t a b l e   f o r   d i s t r i b u t e d   s y s t e m s   a n d   a l s o   a r e   u s e d   f o r   a c t u a l   s y s t e m   i m p l e m e n t a t i o n .   C P N s   p r o v i d e   m o r e   a c c u r a t e   m o d e l s   o f   c o m p l e x   n o n - s y n c h r o n o u s   p r o c e s s i n g   s y s t e m s .   I n   t h e s e   n e t w o r k s ,   u n l i k e   t h e   u s u a l   P e t r i   n e t w o r k s   t o k e n s   a r e   r e c o g n i z a b l e   f r o m   e a c h   o t h e r ,   a s   e a c h   o f   t o k e n s   h a s   c h a r a c t e r i s t i c s   n a m e d   c o l o r .   I n   o n e   s i d e   C P N s ,   u n l i k e   o r d i n a r y   P e t r i   n e t w o r k s   a r e   p r o g r a m m a b l e ,   a n d   t h e   M L   f u n c t i o n a l   l a n g u a g e   i s   u s e d   t o   c o n t r o l   a n d   r u n   t h e   P e t r i   n e t .   C P N s   u n l i k e   t y p i c a l   P e t r i   n e t w o r k ,   h a v e   t h e   a b i l i t y   t o   c r e a t e   h i e r a r c h i c a l   m o d e l ,   t h i s   t e c h n i q u e   c a n   b e   u s e d   t o   o b t a i n   c o m p o s i t i o n   o r   r e u s e   o f   m o d e l s   [ 1 0 ] , [ 1 1 ] . F r o m   a d v a n t a g e s   t h a t   C P N   m o d e l s   h a v e   i t   c a n   b e   m e n t i o n e d   t h e   f o l l o w i n g : 1 ) T h e s e   t e c h n i q u e s   c a n   b e   u s e d   t o   a c q u i r e   c o m p o s i t i o n   o r   r e - u s e   o f   m o d e l s   l i k e   h i e r a r c h i c a l   m o d e l s   c a n   b e   u s e d .   2 ) F o r   e a c h   t r a n s i t i o n   t h e   t i m e   n e e d e d   f o r   t h e   f i r e   c a n   b e   d e f i n e d   a n d   a c c o r d i n g   t o   t h a t   e a c h   t o k e n   c a n   h a v e   t h e   t i m e   a s   a   f e a t u r e ,   a   s u i t a b l e   t o o l   f o r   e v a l u a t i n g   p e r f o r m a n c e   a n d   o t h e r   r e l a t e d   i s s u e s   a r e   r e l a t e d   t o   t i m e . 3 ) C P N s   h a v e   t h e   c a p a b i l i t y   o f   b e i n g   c o m b i n e d   w i t h   t h e   M L   p r o g r a m m i n g   l a n g u a g e ,   s o   w i t h   t h e   u s e   o f   t h i s   f e a t u r e   m u c h   c o n t r o l   c a n   b e   i m p o s e d   o n   t h e   m o d e l   [ 1 2 ] .     3 . 1 .     C P N   D i f i n a t i o n   A s   m e n t i o n e d ,   C P N   i s   a c t u a l l y   a n   e x t e n d e d   v e r s i o n   o f   t y p i c a l   P e t r i   n e t w o r k .   C P N s   h a v e   s t r o n g   m a t h e m a t i c a l   l o g i c   t h i s   m a t h   l o g i c   ( C P N   =   ( P ,   T ,   C ,   I - ,   I   + ,   M 0 ) )   i s   d e f i n e d   a s   f o l l o w s :   [ i ]   P ,   a   n o n - e m p t y   f i n i t e   s e t   o f   p l a c e s .   [ i i ]   T ,   a   n o n - e m p t y   s e t   o f   t r a n s i t i o n s   i s   f i n i t e .   [ i i i ]   P     T   = Æ   [ i v ]   C ,   i s   a   c o l o r   f u n c t i o n   m a p p i n g   w h i c h   i s   f r o m   t h e   P U T ,   i s   a   n o n - e m p t y   s e t .   Evaluation Warning : The document was created with Spire.PDF for Python.
I J E C E     I S S N :   2 0 8 8 - 8 7 0 8       M o d e l i n g   a n d   V a l i d a t i o n   o f   t h e   D y n a m i c   H o s t   C o n f i g u r a t i o n   P r o t o c o l   wi t h   Co l o r e d   P e t r i   Ne t s   ( F . S   G h a r e c h o p o g h )   4 3 5 [ v ]   A n d   I   + ,   c r o s s e d   f o r w a r d   a n d   b a c k w a r d   f u n c t i o n s   o n   P   *   T   i s   d e f i n e d   i n   s u c h   a   m a n n e r   t h a t :   I - ( p , t )   I + ( p , t )   :   C ( t )         C ( p )   "   "   "   "   ( p , t )   Î   Î   Î   Î   C ( p )   [ v i ]   M 0   i s   a   f u n c t i o n   w h i c h   i s   d e f i n e d   o n   p   a n d   d e s c r i b e s   t h e   i n i t i a l   m a r k i n g   i n   t h e   w a y   t h a t   e a c h   p   b e l o n g s   t o   p   t h i s   r e l a t i o n s h i p   M 0   ( p )   Î   Î   Î   Î   C   ( p )   i s   e s t a b l i s h e d   [ 1 ] .     I n   F i g u r e 1 ,   o n e   e x a m p l e   o f   t h e   C P N   h a s   b e e n   s h o w n .       F i g u r e   1 .   S h o w n   C P N   e x a m p l e       P 1   i s   a   p l a c e ,   a n d   r e q u e s t s e c t i o n   a   p a s s ,   a n d   w o r d s   a b o v e   p a s s a g e   i s   t h e   g u a r d   t h a t   t h e   l o g i c a l   v a l u e   m u s t   b e   T r u e   i n   o r d e r   t o   h a p p e n   t h e   s h o o t .   I n   g e n e r a l ,   o n e   p a s s a g e   i s   s h o t   i n   a   C P N   i f   t h e   f o l l o w i n g   c o n d i t i o n s   a r e   a v a i l a b l e :   [ i ]   E a c h   e n t r a n c e   p l a c e   f o r   t r a n s i t i o n ,   a t   l e a s t   m u s t   h a v e   a   s i g n .   [ i i ]   F o r   s i g n a l s   i n   e n t r a n c e   p l a c e ,   w o r d   n e e d e d   m u s t   b e   a t t a c h e d   t o   t h e   i n p u t   a r c .   [ i i i ]   G u a r d   ( B o o l e a n )   f o r   t h e   t r a n s i t i o n   t o   t h e   d e s i r e d   v a l u e   i s   n u m b e r e d   a n d   t h e   n u m b e r   o f   t o k e n s   i n   i n p u t   p l a c e s   i s   c o n s i s t e n t   w i t h   t h e   i n p u t   a r c .   I n   C P N s ,   t h e   t i m e   c a n   b e   g i v e n   t o   t h e   t o k e n s   a n d   m o d e l ,   T h i s   t i m e   i s   d e f i n e d   b y   n a t i o n a l   o r   l o c a l   c l o c k   w h i c h   c a n   b e   a n   i n t e g e r   v a r i a b l e   ( d i s c r e t e )   o r   r e a l   ( c o n s t a n t ) .   F o r   f i r e   t h e   p a s s a g e ,   t h e   t o k e n s   o f   i n p u t   p l a c e s ,   s h o u l d   b e   s m a l l e r   o r   e q u a l   t o   t h e   c u r r e n t   t i m e .   F o r   t i m e   t h e   P e t r i   n e t   m o d e l ,   i t   i s   e n o u g h   t o   d e f i n e   t h e   t y p e   o f   c l o s e t s   t h a t   a r e   t i m e d   [ 1 ] ,   [ 1 2 ] . T o   m o d e l   a n d   a n a l y z e   P e t r i   n e t w o r k s ,   t h e r e   a r e   d i f f e r e n t   t o o l s   w i t h   t h e   s i m p l i c i t y   a n d   f u n c t i o n a l i t y   u s e d   t o   p o i n t   C P N T o o l s   [ 1 3 ] .   A f t e r   d e v e l o p i n g   t h e   m o d e l   i n   t h i s   s o f t w a r e ,   c a n   r u n   t h e   m o d e l   s t e p   b y   s t e p   o r   o v e r a l l   w i t h   t h e   u s e   o f   t h e   s o f t w a r e   f e a t u r e s   a n d   u s e   t h e   p r o g r a m m i n g   l a n g u a g e   M L   [ 8 ] ,   a n d   p r o d u c e   G r a p h   o f   s t a t e   s p a c e   i n   t h e   f o r m   o f   o u t p u t   f i l e   f o r   a n a l y s i s .     3 . 2 .   C o d e   i n   C P N   C o d e   C P N ,   i s   a   p i e c e   o f   c o d e   i n   M L   l a n g u a g e   t h a t   a r e   a s s o c i a t e d   w i t h   a   t r a n s f e r   a n d   w h e n   t h e   p a s s a g e   i s   f i r e d ,   t h e   m e n t i o n e d   c o d e   r u n s .   T h e   c o d e   i s   n o t   o n l y   p e r f o r m i n g   c o m p l e x   c a l c u l a t i o n s ,   b u t   c o n s e q u e n t l y ,   t h e   o u t p u t   v a r i a b l e s   o f   t h e   i n p u t   v a r i a b l e s   a r e   o b t a i n e d .   M L   h a s   a   s t r a t e g y   t o   a s s e s s   t h e   a m o u n t   o f   c a l l s   ( c a l l   -   b y   -   v a l u e ) ,   s t a t i c   t y p i n g ,   t y p e   i n f e r e n c e ,   a l g e b r a i c   d a t a   t y p e s ,   p a t t e r n   m a t c h i n g   a n d   e x c e p t i o n   h a n d l i n g ,   f i r s t   c l a s s   f u n c t i o n s ,   a u t o m a t i c   m e m o r y   m a n a g e m e n t   i n   d e a l i n g   w i t h   u n w a n t e d   d a t a ,   p a r a m e t r i c   p o l y m o r p h i s m   a n d   D y n a m i c   t y p e s   a n d   t y p e   i n f e r e n c e .   M o r e   d e t a i l s   a b o u t   t h i s   a r e   i n   [ 1 4 ] ,   [ 1 5 ] ,   a n d   [ 1 6 ] .   T h e   r e a s o n s   o f   u s i n g   t h i s   l a n g u a g e   f o r   C P N   a r e :   i n t e r a c t i v e   ( l i k e   M a t l a b ) ,   d a t a   t y p e   i n   t h i s   l a n g u a g e   i s f l e x i b l e ,   n o   h a r d w a r e   d e p e n d e n c i e s   b e c a u s e   i t   d o e s   n o t   C r a s h ,   l e a r n i n g   a n d   d e v e l o p m e n t   i s   v e r y   c o n v e n i e n t ,   s t o r a g e   m a n a g e m e n t   b y   t h e   p r o g r a m m e r   [ 1 ] .   I n   e a c h   C P N ,   t h e r e   i s   a   c o n c e p t   c a l l e d   c o l o r   s e t s ,   d e f i n i t i o n   o f   t h e   c o l o r   s e t   i s   p e r f o r m e d   i n   t h e   G l o b a l   d e c l a r a t i o n   n o d e .   A   c o l o r   s e t   i n   M L   c a n   b e   d e f i n e d   a s   f o l l o w s :   C o l o r   n a m e   =   d e f i n i t i o n   F i g u r e   2 ,   a n   e x a m p l e   w h i c h   s h o w s   t h e   u s e   o f   t h e   M L   c o d e   i n   C P N .         F i g u r e   2 .   A n   e x a m p l e   f o r   s h o w s   t h e   u s e   o f   t h e   M L   c o d e   i n   C P N   Evaluation Warning : The document was created with Spire.PDF for Python.
                    I S S N :   2 0 8 8 - 8 7 0 8   I J E C E     V o l .   2 ,   N o . 3 ,     J u n e   2 0 1 2   :     4 3 3     4 4 0   4 3 6   4 .   M O D E L I N G D H C P   T o   u s e   t h i s   p r o t o c o l ,   t h e   c o m p u t e r   w h i c h   i s   c h o s e n   t o   g e t   a n   I P   a d d r e s s   a u t o m a t i c a l l y ,   B r o a d c a s t s   t h e   D H C P   D i s c o v e r   P a c k e t s   i n   a   N e t w o r k .   I n   t h i s   c a s e   D H C P   S e r v e r   s e n d s   a n   o f f e r   a c c o r d i n g   t o   h i s   t a b l e   i n c l u d i n g   t h e   I P   A d d r e s s ,   S u b n e t   a n d   s o m e t i m e s   s e t t i n g s   r e l a t e d   t o   a   D N S   o r   G a t e w a y   s e t t i n g s ,   t o   t h e   c l i e n t   c o m p u t e r ,   t h a t   t h i s   m e s s a g e   i s   c a l l e d   D H C P   O f f e r .   A f t e r   s e n d i n g   t h i s   m e s s a g e ,   D H C P   S e r v e r   w a i t s   f o r   D H C P   R e q u e s t   m e s s a g e   c o n f i r m i n g   t h e   s e t t i n g s   f r o m   t h e   c l i e n t   w h i c h   f i n a l l y   D H C P   S e r v e r   w i t h   s e n d i n g   D H C P   S e r v e r   a l l o w s   t h e   c l i e n t   t o   u s e   f o r w a r d e d   s e t t i n g s   a n d   I P .   I n   t h i s   s e c t i o n ,   t h e   w a y   o f   m o d e l i n g   t h i s   p r o t o c o l   i s   g i v e n   f o r   t h e   c o r r e c t n e s s   o f   i t s   f u n c t i o n   p r o p e r l y .     4 . 1 .   R e c e i v e   I P   M e c h a n i s m   f r o m   D H C P   C l i e n t     b y   D H C P   S e r v e r   D H C P   c l i e n t s   u s e   t w o   d i f f e r e n t   p r o c e s s e s   t o   c o m m u n i c a t e   w i t h   D H C P   S e r v e r   a n d   o b t a i n   C o n f i g u r a t i o n .   I n i t i a l i z a t i o n   p r o c e s s   o c c u r s   w h e n   a   c o m p u t e r   i s   t u r n e d   o n   f o r   t h e   f i r s t   t i m e   a n d   t r i e s   t o   c o n n e c t   t o   a   n e t w o r k .   T h e   r e n e w a l   p r o c e s s   o c c u r s   w h e n   a   c o m p u t e r   i n t e n d s   t o   h a v e   a   n e w   I P   e x c e p t   h i s   p r e s e n t   I P   a f t e r   r e c e i v i n g   a n   I P   f r o m   t h e   D H C P   S e r v e r .   I P   a l l o c a t i o n   p r o c e s s   i s   g i v e n   i n   T a b l e   1 ,   r e s p e c t i v e l y :       T a b l e   1 .   D H C P   p r o c e s s   i n   t h e   d y n a m i c   a l l o c a t i o n   o f   I P   a d d r e s s e s   t o   c l i e n t s     N O   D e s c r i p t i o n   1   2   D H C P   c l i e n t   p u b l i s h   a   D H C P   D i s c o v e r   m e s s a g e   t o   a   L o c a l   S u b n e t     ( B r o a d c a s t )   A   D H C P   S e r v e r   c a n   r e p l y   b y   D H C P   O f f e r   M e s s a g e ,   w h i c h   c o n t a i n s   a n   I P   a   p r o p o s a l   f o r   a l l o c a t i o n   t o   t h e   c l i e n t .   3   O n c e   D H C P   O f f e r   M e s s a g e   w a s   r e c e i v e d   b y   t h e   c l i e n t ,   t h e   c l i e n t   r e p l i e s   t h e   s e r v e r   a d d r e s s   o f f e r e d   b y   D H C P   R e q u e s t .   4     5   A f t e r   t h e   s e r v e r   r e c e i v e s   t h e   D H C P   R e q u e s t   o f   t h e   c l i e n t ,   s e r v e r   s e n d s   a   D H C P A c k n o w l e d g e m e n t   n a m e d   D H V P   A C K   f o r   c o n f i r m i n g   t h e   a l l o c a t i o n   o f   I P   W h e n   t h e   c l i e n t   r e c e i v e d   D H C P   A c k   r u n s   t h e   s e t t i n g s   t h a t   a r e   a l r e a d y   r e c e i v e d   t o   c o n n e c t   t o   t h e   n e t w o r k   [ 2 , 3 ]       4 . 2 .   A n a l i z i n g   D H C P   M e s s a g e   M e s s a g e   e x c h a n g e d   b e t w e e n   c l i e n t   a n d   s e r v e r   f o r   I P   a l l o c a t i o n   h a s   a   f r a m e   t h a t   h a s   m a n y   f i e l d s   b u t   i n   t h i s   p a p e r   t h e   f i e l d s   w h i c h   a r e   u s e d   i s   g i v e n   i n   T a b l e   2   [ 1 7 ] ,   [ 1 8 ] :     T a b l e   2 .   N e e d e d   f i e l d s   f o r   d e f i n e d   v a r i a b l e s   i n   t h e   l a n g u a g e   M L   F I E L D   D e s c r i p t i o n   O p e r   X i d   M e s s a g e   O p   C o d e ,   I f   O p e r = 1   t h e n   r e q u e s t   e l s e   i f   O p e r = 2   t h e n   r e s p o n s e   T r a n s a c t i o n   I d   F l a g   F l a g s   C i a d d r   C l i e n t   I P   A d d r e s s   Y i a d d r   Y o u r   I P   A d d r e s s   C h a d d r   C l i e n t   H a r d w a r e   A d d r e s s   R e q I P   I P W h i c h   C l i e n t w a n t     o f f e r   t h e n   P r o p o s a l   f r o m   S e r v e r   L e a s e   I P   E x p i r a t i o n T t i m e   M s g T   M a s s a g e   N a m e     A t   t h i s   s t a g e ,   C o l o r   S e t   i s   d e f i n e d   i n   t h e   l a n g u a g e   M L   u s i n g   t h e   i n f o r m a t i o n   a b o v e .     4 . 3 .   C o l o r   S e t s   D e f i n a t i o n   b a s e d   D H C P   w i t h   M L   L a n g u a g e   c o l s e t   U N I T   =   u n i t ;   c o l s e t   B O O L   =   b o o l ;   c o l s e t   N O   =   i n t ;   c o l s e t   D A T A   =   s t r i n g ;   c o l s e t   D A T A x D A T A   =   p r o d u c t   D A T A   *   D A T A   t i m e d ;   c o l s e t   D A T A x D A T A x N O   =   p r o d u c t   D A T A   *   D A T A   *   N O   t i m e d ;   c o l s e t   D A T A x N O   =   p r o d u c t   D A T A   *   N O   t i m e d ;   c o l s e t   D H C P P a c k e t   =   r e c o r d   o p e r : N O   *   x i d : N O   *   f l a g : N O   *   c i a d d r : D A T A   *   y i a d d r : D A T A   *   c h a d d r : D A T A   *   r e q I P : D A T A   *   l e a s e : N O   *   m s g T : D A T A ;   ( *   M e s a g e :   o p , x i d , f l a g s , c i a d d r , y i a d d r , c h a d d r ,   r e q I P , l e a s e , m s g T , s e r v I D   * )     4 . 4 .   D e f i n e   V a r i a b l e s   a n d   P a r a m e t e r s   U s e d   i n   t h e   I m p l e m e n t a t i o n   o f   D H C P   V a r i a b l e   d e c l a r a t i o n   :   v a r   m s g   :   D H C P P a c k e t ;   Evaluation Warning : The document was created with Spire.PDF for Python.
I J E C E     I S S N :   2 0 8 8 - 8 7 0 8       M o d e l i n g   a n d   V a l i d a t i o n   o f   t h e   D y n a m i c   H o s t   C o n f i g u r a t i o n   P r o t o c o l   wi t h   Co l o r e d   P e t r i   Ne t s   ( F . S   G h a r e c h o p o g h )   4 3 7 v a r   n , x i d n   :   N O ;   v a r   d ,   y i a d ,   c h a d d r ,   s I D   :   D A T A ;     P a r a m e t e r s   D e c l a r a t i o n   :   v a l   I P P o o l   =   I n i t   [ ]   " I P "   N o O f I P s ;   v a l   C l i e n t s   =   I n i t   [ ]   " C l i e n t "   N o O f C l i e n t s ;     4 . 5 .   D H C P   H i e r a r c h i c a l   M o d e l   w i t h   C P N   W e   c r e a t e   a   h i e r a r c h i c a l   m o d e l   w i t h   t h e   u s e   o f   C P N   f o r   t h e   D H C P   w i t h   T r a n s i t i o n s   S e r v e r ,   C l i e n t ,   a n d   N e t w o r k   i n   C P N T o o l s   s o f t w a r e   a s   s h o w n   i n   F i g u r e   3 .         F i g u r e   3 .   D H C P   H i e r a r c h i c a l   M o d e l   w i t h   C P N       4 . 6 .   A n a l y s i s   o f   c l i e n t   s e n t   m e s s a g e s   o n   t h e   s e r v e r   s i d e   a n d   c l i e n t   W h e n   t h e   t u r n e d   o n   c l i e n t ,   p l a n s   t o   e n t e r   t h e   n e t w o r k ,   i t   m u s t   r e q u e s t   I P   f r o m   t h e   D H C P   S e r v e r ,   s o   s e n d s   i t s   M A C   a d d r e s s   o r   t h e   n a m e   o f   i t s   c o m p u t e r   ( H a r d w a r e   N a m e )   i n   t h e   D H C P   S e r v e r   i n   a   f o r m   o f   a   m e s s a g e ,   F i g u r e   4   s h o w s   t h i s   p r o c e s s .         F i g u r e   4 .   S e n d i n g   D i s c o v e r   M o d e l   f o r   D e m o n s t r a t e   t h e   I P   R e q u e s t   b y   t h e   C l i e n t   f r o m   t h e   S e r v e r     F u n c t i o n   D H C P D i s c o v e r :   T h i s   f u n c t i o n   i s   d e f i n e d   b y   t h e   n e e d e d   a r g u m e n t s   s h o w e d   w i t h   T a b l e   2   i s   a s   f o l l o w s :   f u n   D H C P D i s c o v e r ( c l i H w A d d   :   D A T A )   =   { o p e r = 1 ,   x i d = 0 ,   f l a g = 1 ,   c i a d d r = " "   ,   y i a d d r = " " , c h a d d r = c l i H w A d d ,   r e q I P = " " ,   l e a s e = d e f L e a s e T ,   m s g T = " D H C P D I S C O V E R " } ;   ( *   M e s a g e :   o p , x i d , f l a g s , c i a d d r , y i a d d r , c h a d d r ,   r e q I P , l e a s e , m s g T , s I D   * )   A s   s h o w n   i n   F i g u r e   4 ,   w i t h   f i r i n g   S e n d D i s c o v e r   a n d   r u n n i n g   D H C P D i s c o v e r y   f u n c t i o n ,   b e l o w   a r e   v a l u e d   a s   f o l l o w s :   1 ` { o p e r = 1 , x i d = 0 , f l a g = 1 , c i a d d r = , y i a d d r = ,   c h a d d r = C l i e n t 2 ,   r e q I P = ,   l e a s e = 1 0 0 ,   m s g T =   D H C P D I S C O V E R }   A f t e r   c l i e n t   s e n t   i t s   m e s s a g e   r e c e i v i n g   I P   t o   s e r v e r ,   t h e   s e r v e r   a n a l y z e s   t h e   m e s s a g e   a n d   w i l l   r e s p o n d   t o   i t   d e p e n d i n g   o n   t h e   r e q u e s t .   I f   D H C P D i s c o v e r   i s   t h e   c l i e n t ' s   m e s s a g e   t o   t h e   s e r v e r ,   t h e   s e r v e r   r e a l i z e s   t h a t   t h e   c l i e n t   h a s   a   r e q u e s t   f o r   I P ,   s o   o f f e r s   I P   b a s e d   o n   i t s   a l l o c a t i o n   t a b l e .   T h i s   i s   s h o w n   i n   F i g u r e   5 :     Evaluation Warning : The document was created with Spire.PDF for Python.
                    I S S N :   2 0 8 8 - 8 7 0 8   I J E C E     V o l .   2 ,   N o . 3 ,     J u n e   2 0 1 2   :     4 3 3     4 4 0   4 3 8     F i g u r e   5 .   P r o c e s s i n g   d i s c o v e r   m o d e l   f o r   d e m o n s t r a t e   t h e   i p   r e q u e s t   b y   t h e   s e r v e r   t o   t h e   c l i e n t     D H C P O f f e r   f u n c t i o n   w i t h   t h e   r e q u i r e d   a r g u m e n t s ,   a r e   d e f i n e d   a s   i n   T a b l e   2   a s   f o l l o w s :   f u n   D H C P O f f e r   ( m s g   :   D H C P P a c k e t ,   y i a d   :   D A T A )   =   { o p e r = 2 ,   x i d = ( # x i d   m s g ) ,   c i a d d r = ,   y i a d d r = y i a d , f l a g   =   ( # f l a g   m s g ) ,   c h a d d r = ( # c h a d d r   m s g ) ,   r e q I P = ,   l e a s e = ( # l e a s e   m s g ) ,   m s g T = D H C P O F F E R }   A s   i n d i c a t e d   i n   F i g u r e   5   w i t h   f i r i n g   S e n d O f f e r   a n d   r u n n i n g   D H C P O f f e r   f o l l o w i n g   v a l u e s   a r e   i n i t i a l i z e d   a s   f o l l o w s :   1 ` { o p e r = 2 , x i d = 0 ,   f l a g = 1 ,   c i a d d r = ,   y i a d d r = I P 2 ,   c h a d d r = C l i e n t 2 , r e q I P = , l e a s e = 1 0 0 , m s g T = D H C P O F F E R }   C l i e n t   a n a l y z e s   c o n t e n t   ( D H C P O F F E R )   u s i n g   F i e l d   m s g T   a n d   r e a l i z e s   t h a t   i n   y i a d d r   f i e l d   p l a c e d   a m o u n t   o f   p r o p o s e d   I P .   S o   i t   a d o p t s   t h e   s a m e   I P   a n d   r e q u e s t s   t h e   s e r v e r   t o   g i v e   t h i s   I P   t o   i t .   P r o c e s s i n g O f f e r   p r o c e s s   r u n s   s o   t h a t   b y   t h e   D H C P R e q u e s t   f r a c t i o n ,   t h e   v a l u e s   w i l l   c h a n g e   a s   f o l l o w s :   1 ` { o p e r = 1 , x i d = 0 , f l a g = 1 , c i a d d r = , y i a d d r = 0 ,   c h a d d r = C l i e n t 2 , r e q I P = I P 2 , l e a s e = 1 0 0 ,   m s g T = D H C P R E Q U E S T }   D H C P R e q u e s t   f u n c t i o n   w i t h   t h e   r e q u i r e d   a r g u m e n t s ,   i n   a c c o r d a n c e   w i t h   T a b l e   2   i s   d e f i n e d   a s   f o l l o w s :   F u n D H C P R e q u e s t   ( c h a d d :   D A T A ,   c i a d d :   D A T A ,   r e q :   D A T A ,   x i d n :   N O )   =   { o p e r = 1 ,   x i d = x i d n ,     C i a d d r = c i a d d ,   y i a d d r = " 0 " ,   f l a g   =   1 ,   c h a d d r = c h a d d ,   r e q I P =   r e q ,   l e a s e = d e f L e a s e T , m s g T = " D H C P R E Q U E S T " }   I n   t h i s   s i t u a t i o n ,   s e r v e r   r e a l i z e s   t h a t   c l i e n t   w a n t s   t h a t   i t s e l f   o f f e r e d .       F i g u r e   6 .   P r o c e s s n g O f f e r r   m o d e l   t o   d e m o n s t r a t e   t h e   a p p l i c a t i o n   p r o c e s s     A f t e r   t h e   s e r v e r   r e c e i v e s   a   m e s s a g e ,   D H C P R E Q U E S T ,   u s i n g   I P P o o l ,   o n   t h e   a l l o c a t i o n   t a b l e   o f   I P ,   a l l o c a t e s   t h e   d e s i r e d   I P   t o   t h e   c l i e n t   a n d   s e n d s   A c k   m e s s a g e   t o   t h e   c l i e n t ' s   t o   a p p r o v e   a n d   r e g i s t e r   c h o s e n   i n f o r m a t i o n   o n   i t s   t a b l e .   I f   t h e   s e r v e r   i s   n o t   a b l e   t o   a s s i g n   t h e   d e s i r e d   I P ,   N A C K   m e s s a g e   i s   s e n t   t o   t h e   c l i e n t   f o r   t h e   n e x t   s t e p s .   T h e   o r d e r   p r o c e s s   i s   s h o w n   i n   F i g u r e s   7   a n d   F i g u r e s   8 .   Evaluation Warning : The document was created with Spire.PDF for Python.
I J E C E     I S S N :   2 0 8 8 - 8 7 0 8       M o d e l i n g   a n d   V a l i d a t i o n   o f   t h e   D y n a m i c   H o s t   C o n f i g u r a t i o n   P r o t o c o l   wi t h   Co l o r e d   P e t r i   Ne t s   ( F . S   G h a r e c h o p o g h )   4 3 9     F i g u r e   7 .   P r o c e s s i n g R e q u e s t   M o d e l   f o r   D e m o n s t r a t e   t h e   A c k   a n d   N a c k   p r o c e s s   t o   t h e   C l i e n t       D H C P A c k   f u n c t i o n   a r g u m e n t s   r e q u i r e d   w i t h   T a b l e   2   i s   d e f i n e d   a s   f o l l o w s :   F u n D H C P A c k   ( m s g : D H C P P a c k e t )   =   { o p e r = 2 ,   c i a d d r =   ( # c i a d d r m s g ) , x i d =   ( # x i d m s g ) , y i a d d r = ( # r e q I P m s g ) ,   f l a g   =   ( # f l a g   m s g ) ,   c h a d d r = ( # c h a d d r m s g ) ,   r e q I P = " " ,   l e a s e = ( # l e a s e   m s g ) ,   m s g T = " D H C P A C K " }   A f t e r   t h e   f i r i n g   t h e   S e n d A c k   f o l l o w i n g   v a l u e s   a r e   i n i t i a l i z e d :   1 ` { o p e r = 2 , x i d = 0 , f l a g = 1 , c i a d d r = , y i a d d r = I P 2 ,   c h a d d r =   C l i e n t 2 ,   r e q I P = ,   l e a s e = 1 0 0 ,   m s g T = D H C P A C K }   D H C P N a k   f u n c t i o n   d e f i n i t i o n   i s   a s   f o l l o w s :   F u n D H C P N a k   ( m s g : D H C P P a c k e t )   =   { o p e r = 2 ,   c i a d d r = " " ,   x i d =   ( # x i d m s g ) ,   y i a d d r = " 0 " ,   f l a g   =   ( # f l a g   m s g ) , c h a d d r =   ( # c h a d d r m s g ) ,   r e q I P = " " ,   l e a s e = 0 ,   m s g T = " D H C P N A K " }   T h i s   f u n c t i o n   i s   w h e n   i s   n o t   r e c e i v e d   a n y   a n s w e r   f r o m   t h e   s e r v e r .         F i g u r e   8 .   M o d e l   P r o c e s s i n g   A c k   f o r   t h e   a l l o c a t i o n   o f   I P   f o r   a   c l i e n t     I n   f i g u r e   8   R e a c q u i r e   I P   t r a n s i t   i s   a c t i v a t e d   w h e n   t h e   c l i e n t   w a n t s   t o   r e - r e q u e s t   I P .   I n   t h i s   c a s e   t h e   s e r v e r   w i l l   p r o v i d e   t h e   s a m e   I P   t o   t h e   c l i e n t ;   o t h e r w i s e   a n o t h e r   I P   w i l l   b e   a s s i g n e d   t o   t h e   c l i e n t .       5 .   C O N C L U S I O N   C P N s   a r e   u s e d   t o   a s s e s s   a n d   d e m o n s t r a t e   t h e   e f f i c i e n c y   a n d   a c c u r a c y   i n   c o n c u r r e n t   a n d   d i s t r i b u t e d   s y s t e m s .   T h e y   h a v e   t h e   a b i l i t y   t o   i n t e g r a t e   w i t h   t h e   M L   p r o g r a m m i n g   l a n g u a g e ;   t h i s   a b i l i t y   m u l t i p l i e s   t h e   p o w e r .   I n   t h i s   p a p e r   t h e   f u n c t i o n   o f   a l l o c a t e d   p r o t o c o l   I P   w i t h   d y n a m i c   n a m e d D H C P   w a s   s t u d i e d   a n d   t h e   c o r r e c t n e s s   o f   f u n c t i o n   o f   t h i s   a l g o r i t h m   w i t h   m o d e l i n g   o f   t h i s   p r o t o c o l   a n d   w i t h   t h e   C P N s   w a s   a n a l y z e d .   M o d e l i n g r e s u l t s s h o w   t h a t t h i s p r o t o c o l i n d y n a m i c   a l l o c a t i o n   o f I P   a d d r e s s e s t o c l i e n t   f u n c t i o n   1 0 0 %   c o r r e c t .       Evaluation Warning : The document was created with Spire.PDF for Python.
                    I S S N :   2 0 8 8 - 8 7 0 8   I J E C E     V o l .   2 ,   N o . 3 ,     J u n e   2 0 1 2   :     4 3 3     4 4 0   4 4 0 R E F E R E N C E S   [ 1 ]   K .   J e n s e n   a n d   L .   M .   K r i s t e n s e n ,   Co l o u r e d   P e t r i   N e t s ,   M o d e l l i n g   a n d   V a l i d a t i o n   o f   Co n c u r r e n t   S y s t e m s ,   S p r i n g e r ,   2 0 0 9 ,   C h .   1 0 .   [ 2 ]   K .   J e n s e n ,   e t   a l . ,   Co l o u r e d   P e t r i   N e t s   a n d   CP N   T o o l s   f o r   M o d e l l i n g   a n d   V a l i d a t i o n   o f   Co n c u r r e n t   S y s t e m s ,   I n t e r n a t i o n a l   J o u r n a l   S o f t wa r e   t e c h n o l o g y   T r a n s f e r   ( 2 0 0 7 ) , v o l .   9 ,   2 1 3 - 2 5 4 ,   2 0 0 7 .   [ 3 ]   K . S .   P h a n s e ,   A . Bh a t ,   L . D a S i l v a ,   M o d e l i n g   a n d   E v a l u a t i o n   o f   a   P o l i c y   P r o v i s i o n i n g   A r c h i t e c t u r e   f o r   M o b i l e   A d - H o c   N e t w o r k s ,   J o u r n a l   o f   Ne t wo r k   a n d   S y s t e m s   M a n a g e m e n t ,   1 - 1 8 ,   2 0 0 6 .   [ 4 ]   M . A . J   J a m a l i , T .   K h o s r a v i , V a l i d a t i o n   o f   A d   h o c   O n - d e m a n d   M u l t i p a t h   D i s t a n c e   V e c t o r   U s i n g   Co l o r e d   P e t r i   N e t s ,   2 0 1 1   I n t e r n a t i o n a l   C o n f e r e n c e   o n   Co m p u t e r   a n d   S o f t w a r e   M o d e l i n g ,   S i n g a p o r e ,   v o l .   1 4 ,     p p .   2 9 - 3 4 ,   2 0 1 1 .   [ 5 ]   J . B.   O t h m a n ,   S .   D i a g n e ,   L .   M o k d a d ,   B.   Y a h y a , P e r f o r m a n c e   E v a l u a t i o n   o f   a   H y b r i d   M A P r o t o c o l   f o r   W i r e l e s s   S e n s o r   N e t w o r k ,   A C M   I n t e r n a t i o n a l   Co n f e r e n c e   o n   M o d e l i n g ,   A n a l y s i s     a n d   S i m u l a t i o n   o f   W i r e l e s s   a n d   M o b i l e   S y s t e m s ,   M S W I M 1 0 ,   p p .   3 2 7 - 3 3 4 ,   2 0 1 0 .   [ 6 ]   B.   Y a h y a   a n d   J .   Be n - O t h m a n ,   " A n   E n e r g y   E f f i c i e n t   H y b r i d   M e d i u m   A c c e s s   Co n t r o l   S c h e m e   f o r   W i r e l e s s   S e n s o r   N e t w o r k s   w i t h   Q u a l i t y   o f   S e r v i c e   G u a r a n t e e s " ,   I n   t h e   P r o c e e d i n g s   o f   G L O B E CO M ' 0 8 ,   N e w   O r l e a n s ,   L A ,   U S A ,   p p .   1 - 5 ,   2 0 0 8 .   [ 7 ]   H . A .   Ra u f ,   A . E .   J e y a k u m a r ,   C o l o r e d   P e t r i   N e t   M o d e l i n g   a n d   T h r o u g h p u t   A n a l y s i s   f o r   W i r e l e s s   I n f r a s t r u c t u r e   N e t w o r k s ,   U b i q u i t i o u s   Co m p u t i n g   a n d   Co m m u n i c a t i o n   J o u r n a l ,   v o l .   3 ,   n o . 3 ,   p p .   1 5 5 - 1 6 0 ,   2 0 0 8 .   [ 8 ]   A .   M a s r i ,   e t   a l . ,   P e r f o r m a n c e   A n a l y s i s   o f   I E E E   8 0 2 . 1 1 b   W i r e l e s s   N e t w o r k s   w i t h   O b j e c t   O r i e n t e d   P e t r i   N e t s ,   E l e c t r o n i c   No t e s   i n   T h e o r e t i c a l   C o m p u t e r   S c i e n c e   2 4 2 ,   p p .   7 3 8 5 ,   2 0 0 9 .   [ 9 ]   M . A .   A z g o m i   a n d   A .   K h a l i l i ,   P e r f o r m a n c e   E v a l u a t i o n   o f   S e n s o r   M e d i u m   A c c e s s   Co n t r o l   P r o t o c o l   U s i n g   Co l o u r e d   P e t r i   N e t s ,   E l e c t r o n i c   No t e s   i n   T h e o r e t i c a l   Co m p u t e r   S c i e n c e   2 4 2   ( 2 0 0 9 ) ,   p p .   3 1 4 2 ,   2 0 0 9   [ 1 0 ]   Z . E s i k ,   C. M a r t i n - V i d e ,   V .   M i t r a n a ,   Re c e n t   A d v a n c e s   i n   F o r m a l   L a n g u a g e s   a n d   A p p l i c a t i o n s ,   S p r i n g e r - V e r l a g   B e r l i n   H e i d e l b e r g ,   c h .   1 4 ,   2 0 0 6 .   [ 1 1 ]   A .   Bo b b i o ,   S y s t e m   M o d e l l i n g   W i t h   P e t r i   N e t s ,   A : G   Co l o m b o   a n d   A .   S a i z   d e   B u s t a m a n t e ,   S y s t e m   R e l i a b i l i t y   A s s e s s m e n t ,   Kl u we r   p . c ,   p p .   1 0 2 - 1 4 3 ,   1 9 9 0 .   [ 1 2 ]   K .   J e n s e n :   A n   I n t r o d u c t i o n   t o   t h e   T h e o r e t i c a l   A s p e c t s   o f   Co l o u r e d   P e t r i   N e t s , I n :   J . W .   d e   B a k k e r ,   W . - P .   d e   R o e v e r ,   G .   R o z e n b e r g   ( e d s . ) :   A   D e c a d e   o f   Co n c u r r e n c y ,   L e c t u r e   No t e s   i n   Co m p u t e r   S c i e n c e ,   S p r i n g e r - V e r l a g ,   v o l .   8 0 3 ,   p p .   2 3 0 2 7 2 .   1 9 9 4 .   [ 1 3 ]   H t t p : / / c p n t o o l s . o r g /   l a s t   a v a i l a b l e   2 0 . 0 5 . 2 0 1 2 .   [ 1 4 ]   K .   J e n s e n ,   Co l o u r e d   P e t r i   N e t s :   A   H i g h - l e v e l   L a n g u a g e   f o r   S y s t e m   D e s i g n   a n d   A n a l y s i s ,   I n :   G .   R o z e n b e r g   ( e d . ) :   A d v a n c e s   i n   P e t r i   Ne t s   1 9 9 0 ,   L e c t u r e   No t e s   i n   Co m p u t e r   S c i e n c e ,   S p r i n g e r - V e r l a g   ,   v o l .   4 8 3 ,   3 4 2   4 1 6 ,   1 9 9 1 .   [ 1 5 ]   R.   H a r p e r ,   P r o g r a m m i n g   i n   S t a n d a r d   M L   ( D RA F T :   V E RS I O N   1 . 2   O F   1 1 . 0 2 . 1 1 . )   R o b e r t   H a r p e r   C a r n e g i e   M e l l o n   U n i v e r s i t y   S p r i n g   S e m e s t e r ,   2 0 1 1 .   [ 1 6 ]   E . R.   G a n s e r ,   T h e   S t a n d a r d   M L   Ba s i s   M a n u a l   E d i t e d ,   G a n s n e r   A T & T   L a b o r a t o r i e s   J o h n   H .   R e p p y   U n i v e r s i t y   o f   Ch i c a g o ,   C a m b r i g e ,   2 0 0 4 .   [ 1 7 ]   L .   M c L e a n   a n d   J . C.   M a c k i n ,   M CS A / M CS E   S e l f - P a c e d   T r a i n i n g   K i t   ( E x a m   7 0 - 2 9 1 ) :   I m p l e m e n t i n g ,   M a n a g i n g ,   a n d   M a i n t a i n i n g   a   M i c r o s o f t W i n d o w s   S e r v e r   2 0 0 3   N e t w o r k   I n f r a s t r u c t u r e ,   M i c r o s o f t ,   2 0 0 3 .   [ 1 8 ]   J .   D a v i e s ,   W i n d o w s   S e r e v r   2 0 0 8   T CP / I P   p r o t o c o l s   a n d   s e r v i c e s ,   M i c r o s o f t   ,   2 0 0 8 .       B I O G R A P H Y   O F   A U T H O R S       F a r h a d S o l e i m a n i a n   G h a r e h c h o p o g h r e c e i v e d   h i s   B. S c .   d e g r e e   i n   Co m p u t e r   E n g i n e e r i n g   f r o m   I s l a m i c   A z a d   U n i v e r s i t y , S h a b e s t a r , I r a n .   H e   t h e n   r e c e i v e d   h i s   M . S c .   d e g r e e   i n   Co m p u t e r   E n g i n e e r i n g   i n   f r o m   Cu k u r o v a   U n i v e r s i t y ,   A d a n a ,   T u r k e y .   S i n c e ,   h e   h a s   b e e n   w o r k i n g   t o w a r d t h e   P h . D   d e g r e e   i n   Co m p u t e r   E n g i n e e r i n g   a t   H a c e t t e p e   U n i v e r s i t y   i n   A n k a r a ,   T u r k e y .   H e   w o r k s   a s   a   l e c t u r e r   i n   t h e   D e p a r t m e n t   o f   Co m p u t e r   E n g i n e e r i n g   i n   S c i n c e   a n d   Re s e a r c h   Br a n c h ,   I s l a m i c   A z a d   U n i v e r s i t y ,   W e s t   A z e r b a i j a n ,   I r a n . H i s r e s e a r c h   i n t e r e s t s   i n c l u d e   M a c h i n e   L e a r n i n g ,   O p e r a t i n g   S y s t e m s ,   S o f t w a r e   Co s t   E s t i m a t i o n ,   N a t u r a l   L a n g u a g e   P r o c e s s i n g ,   a n d   Bi o i n f o r m a t i c s .   F o r   m o r e   i n f o r m a t i o n   p l e a s e   v i s i t   w w w . s o l e i m a n i a n . c o m .           R e z a   S o u f i z a d e h r e c e i v e d   h i s   B. S c .   d e g r e e   i n   Co m p u t e r   E n g i n e e r i n g   f r o m   I r a n   U n i v e r s i t y   o f   S c i e n c e   a n d   T e c h n o l o g y ,   T e h r a n ,   I r a n .   S c i n c e ,   h e   h a s   b e e n   w o r k i n g   t o w a r d   t h e   M . S c   d e g r e e   i n   Co m p u t e r   E n g i n e r i n g   a t   S c i n c e   a n d   Re s e a r c h   Br a n c h ,   I s l a m i c   A z a d   U n i v e r s i t y ,   W e s t   A z e r b a i j a n ,   I r a n .   H e   i s   w o r k i n g   o n   M i c r o s o f t   S h a r e P o i n t   p o r t a l   s e r v e r   &   M i c r o s o f t   S h a r e P o i n t   S e r v i c e s   ( 2 0 0 3 )   a n d   M O S S   2 0 0 7 ,   W S S 3   &   M i c r o s o f t   Bi z T a l k   s e r v e r   2 0 0 6   &   W e b   p a r t   p r o g r a m m i n g   a n d   D i g i t a l   S i g n a t u r e   ( RS A   &   X 5 0 9   Ce r t i f i c a t e )   w i t h   C# . n e t   &   S Q L   S e r v e r ,   i n   V i t a Co ,   Re d Ro s e ,   S h a k h e s A n d i s h a n ,   Ra h k a r e K h a l a g h   c o m p a n i e s .   F o r   m o r e   i n f o r m a t i o n   p l e a s e   v i s i t     w w w . r e z a 4 .   n e t   a n d   c o n t e n t   h i m   b y   S o u f i z a d e h @ g m a i l . c o m     Evaluation Warning : The document was created with Spire.PDF for Python.