Composition of Petri Nets Models in Service- oriented Industrial Automation

Full text

(1)

!

"

#

!

$

%

&

' ( " ( ) * * # + # % " ! ,, !-. *

( / 0 * 1 2 3 &! .&, 4.5 0 * 1 *

&

/ ) 6 %7 / 5 + -&.,, * 6 (

!

8 * % ( ' ( *

) 9 : ; <= = % % = /

>#?+' > ?

@ ? A % * B

(* C

%

/ % * * / ( >/ /

? * / */

/ * % / ( * / *(

/

% D E >/ / B /

%( / )' > " - ? # +) @ ?

( + % ) % + A

; B/ / ( %; B *

C * / C *

( C * / ?

* % / / D E

% ( / B /

F (G * / H

C %( / B

( I * / B %

% / /

B I B /

>/ / J %

B @ A

>/ % %

* J @ / A

C >/ B I %

* / D&E ( / 0

)C * * @0 ) A D!E /

D. 5E / ) - & & * * D4E

(

B / / / ( % /

/ * / ( J B/ /

/ ; B J ;

/ / ? C / %

* / B I / /

B / I B * /

%

/ % >/ % %

/ %

J B / ( *

/ %; / /

* * @ /

B / A B/ /

( / / * I B

>/ /

( *

/ / B ( % (

/ @ / /

% A /

@B/ %

( / K * / * A >/

/ B */ C C %

% / * *

/ >/ + > DLE B

* (K *

% / % %

)C B (

B / %( % /

B I >/ B /

/ / / /

* / ( H % / % % /

% B/ / / B

>/ / * K B 9

B / % ?

/ /

H % / & /

/ /

! / /

C ( " ( .

/ B /

? '>? > ? 9 >) 7 ?M)#M )$

? / / ( * K *

D ,E B /

(2)

( / J

N " /

B % / *( / / C %

*/ I ? ( D E ? / ;

B % @ /

B IA $ + @$ % + * * A D E

B/ / $& / %

/ *( * * / % /

D &E

B/ / %

* C / * J N

>/ C / * /

/ B I * ? @ ?%; A

* @B/ / / B % A

$ % @ ? A B % %

% / B

* / %

>/ + $ % @+ $ A D !E B

* B % %

* / * B % I

/ % ( D .E

* / / % * % % /

( >/ B

* B C *

% / / * % / * B

% % / ( * B I

D -E B I

/ B % % / ( (

% N @ D 5 LEA

* /

% / % B / B % D ,E

D E % * D E /

% N * * ( D &E

( / % /

% % * * * D&E / % *

/ B I B

* / J B / * /

% * / B/ / /

/ > I (

* / ( "

% /

D. 5E / B I / /

* B / % *

( / (*

( J % (

/ / / % /

( / / /

/ C / (

% / @" * A

>/ / B 9 /

/ J N? @ * A /

* / / % %( C *

J * ( /

B / % /

J >/

F IG / */

/ / / /

" * % B / / *

>/ * % B B / /

( ( / + $ @ ? !+

/ 9NN * ! *NA >/ ( * /

( % / /

* >/ / % *

C %( * / O

/ (

B / * %

/ % + /

% % /

% B / /

>/ * (

( B / % / C B /

% ( ( * *

J / P

>/ + > @ +>A

/ + @ + A

% * B / / %; / *

( * %

( %( * B I

? /

/ / % ( *

/ * / B /

* @ A %

@ A % / * %

* B / / B/ / + $ /

B I / * "

/ DLE

? ? > ? ?" )#M ) 0 )+ )># )>

>/ B *

( / K / B

/ " * /

/

>/ % * %(

* * B / /

B/

/ %

( / K * / / ( / B I >/

% *

% B * %

/ % I * / / ( B >/

%( *

(3)

@ ( / ( / K

/ A % /

/ * B * /

" * @ A /

C / * @?)A

>/ B B % C /

B * %

!

? / * B

% / B

B ∪ Q

∪ >/

% B

" * & C B/ B

/ *

" * & ? * ∪

$/ / B *

* >/ % / B

%( * / @

* A ( / /

/ % @ * /

/ / A >/ /

% ( / % **

C / ( / K

B

/ ( % * *

* / B /

C * " * ! B/ / (

/ / ( 0 / >/

/ ( 0 /

/ / / & B/

/ / /

@ Q / ( 0A

/ / /

/ ( ( / ( / J

/ /

@ * / ! Q / (

B % / Q /

( 0 % / ( / / J

" " #Q " " #Q A B B B

B % B / /

J >/ % / %

" * ! B/ / B :

" " #R " " #< B/ / ( /

/ ( % * / N J

" * ! % B * /

% / B (

" * ! B/ /

/ " C ( (

/ B @ / /

/ A >/

B/ / B /

/ / @ * ;

( A /

% / ( J

% @ A " /

/ / % @

" * ! ( ( 0A / (

* B/ / N ( %

/ */ B/ /

O B /

/

>/ / C

" * ! I I 9

/ C ( %

% " /

B * % /

* / ( 0 B %

! "

(4)

( / */ / /

%( *

" /

/ B / / + >/

@ A B /

/ I / * / * %

>/ % O

@)C % " " B / / C

S C A % / /

/ % * / B

( C @

" " #R " " #A * /

( / % B / /

B / / C F C G

? % / ( /

( B / / %(

* / @S C A /

@S C A % >/

( %( C * / /

S C * B ( ( *

/ % / B * * /

* * / B * /

>/ B S C / %

>/ C " * . / B /

B * / >/ B B

/ */ / ( / /

/

" * . ( 0 * /

? / C / /

/

/ >/ B % / C

% % / % /

/ *( /

/ / (

/ % / C

/ / ( @ *

A

$ % & '

? / / (

B / * / ( ( / K

* / / *

% B/

/ %

? J / /

/ B I

( / K B / / / >/ %( % *

/ B *

* J N % %

/ B/ / / /

* * J B

( % / * / " *

-/ B (

" * - >B ( * 9 @ A

* @0A B *

>/ % %( * / %(

$ + / / /

+ * / %

J N J N

>/ B ( J B 9

K * / J /

% %( /

( * / /

@ * / A >/

% * % 9

B / J / *

I J B ) %

% ( J * @

J ( A

" * 5 / / B (

" * ! B / / * % /

/ C / ( /

/ ( 0 / 0 / /

@ B A C / /

>/ J B %

( # ! ( !

) *! J %

B / / $ +

(5)

/ + $ + % @ /

B B B " * 4A /

%

/ J N / / /

/ @ J A

@ / / * A J

% B / /

@ A / B /

/ B B /

>/ (

/ @ / % / ( /

*/ " * 4A % * /

/ * %( / @ %

%( * * A

" * 4 ' / @> A

$ + * / +

/ * / % *

/ / % *

/ * B/ / B /

>/ B % / C

M ? " 6'# > ? +)O )# ) >

>/ J / C

/ C % (

/ )' " - ? # +) ; " * L

( * / *

B I

" * L ( / ( @ 9 ( N 9

$ N$ 9 B I A

>/ / (

/ F G / N? *

>/ / % %(

/ % @ / / * A

/ * B / / / /

/ B/ (

>/ + ( / B *

( / >/

( / O

* / @ *

/ /

/ / * A B /

* B / / (

* / ( / *

/ J

/ / C / B ( /

% % * / *

B/ / % >/ /

; % B/ / /

C @ * / (

N A 7 B / B /

% / / B I * % /

>/ B * /

* ( / @ /

A / B I * /

* /

" * , / / ( (

" * , / / (

B /

@ A / ( (T

/ ( / / * @ * ,

/ / * / %

A B / B

/ ( & @ % /

& / A * / */

/ ( >/

B I I /

* / @

*/ " * ,A >/ B

* / B / / ( * /

/ / / >/ (

/ ( / /

( * / @ /

(6)

>/ / B / %

* B / I B * / % (

% ( / / >/

C / B % B ( / (

* / % %

% B / % /

B (

? /

B I % C %

/ @ * / %

A ? /

% / / ( / K / >/

/ (

B ( / % / K *

/ ( / ( % / %

( B / I B * /

M ? ' ? +"'>'#)$?#U

>/ /

/ % /

( >/

B * B C V /

% / % * *

/ %( C >/

/ /

B ( / /

0 / % *

/ * / % % % /

/ ( / * % / /

J / / B/

/ / (

B >/ /

/ % B/ J %

B / * /

/ >/

( B / */ C

( ( C % ( (

/ B / * %

% / /

( >/

( *

" / B I C /

*

* /

/ % / +>

/ (

( % I / B /

/

U ?$ )+6 ) >

>/ / B I / I / )

/ / )' " - ; F ?

( + % ) %

G @ ? # +) A / )' " 5 ; F *

?%; B I )C G @ ? )>A /

#)")#) )

D E 0 * $ % # / * /

W " B I + $ %

% * / W /

))) ,,- &! &!5 D E 6 > / W > / *( #

? ) % + 9 > B * (

*W / )))

) * * ) * * * ,,4 5- 5-5

D&E I F $ %

G ))) * 4 @-A ,,! . .L

D!E ? $ % 0 )C * * M

, ? ,,5 @ % / 9NN

*NB % N ,NB % , A

D.E > F 9 ( G )))

55 L4L .! .4,

D-E + / # F

* ( 9 *

( G ))) LL.

D5E # X B I X/ W 9

> W ))) > ) ! @-A LL! .-5 .4&

D4E ) - & & F * % &9 * * * * G ,,&

DLE 0 * " # $

% F B / * / ) * *

9 >/ ; G /

&& ))) B ,,L

!. !.L

D ,E K F / $ % G

) I I / M * ,,5

D E U W$ % 9 $/ P # $/ P YW > 5 ,,. !

D E $ % + $ I * 6 % $ +

% / 9NNBBB B& *N ,, NB N N @ ( , ,A

D &E 0 ' / W / $ %

C * B I W 0 %

> / @ A ,,5 !5 .L

D !E >/ + $ % ? $ %

+ ( $ % + @$ ++A >

D .E 6 K ) X % # + > "

6 B I W % ( $ % > / * # / #

> % W / / ))) ( ?%;

? # > + % * ,,4 L &&

D -E # 7 0 0 / F % $ %

G * / !/ + %

,,& L ,,

D 5E / M I W+ K * )C

$ % W / L/ 6

?%; * * ( * *

,,! 5, 45

D 4E " ** > KK ) W / *

> / J / # +( ( $ % W

/ -/ $ % ) * * ,,- !, !5 D LE ) U I U U I W $ I B 0 $ %

( W / )))N$ N

$ % * * * > / *( ,,- &

-D ,E + K W? *( *

% ( ( * $ % W

/ ))) ,,- - - 5

D E Z X/ X/ * X/ * + X/ * W

/ > / * * *

* ( W / ,/ )))

) * * > / * " ( ,,. &., &.. D E / 7 U " 7 I " B * W

? " C % 0 * + %

( W /

B I * ,,4 &L& &L4 D &E $ / Z 2 7 $ * 7 6/ B W *

% * B / * $ % W

/ ./ > / *( ,,.

Figure

Updating...

References

Updating...

Download now (6 pages)