Structural Property Analysis of Petri Net Synthesis Shared pp Subnet

! " # $ % & '(

)*+,-! ! !

!

#- # ./0 #/

$ 1 $

- 2 3 - # 4

$

-&

-- 5

6 7

- 5

-# (

-- 0

8*9- 2

-3 ( $

- ( 8+9 $

$ - 0 8:9

-1 4 $ 8;9

4

- 5 8<9

4

= 5 > = ?

=

( - @ 4

$ 8,9- 54 4

$ 8A9

- $

8B9 7 4

-8C9 $ 1

$ 4

- 8*D9

1 - =

- 1

8**9

0@

-4 - " 8*+9

1

-=

$ /="4 8*:9- %

=

->

( $

?

8*;9-% 8*<9 $ E

( $

E $

- !

8*,9 $

-8*A9

-8*B9

4 - 1

-- #

4 - 1

-$ $

F

4 4

-$-

-

( -

-##- % # 0@5# # #/

# $ $ 3 1 $ 1

-

8+D9-" # $ "

>

G

?

?

>

_D >*?

?

>

?

>

8

->+? #

-H

-" # # "

>

_D

?

->*?

>

_D

?

?

>

H

8H

->+?

->:? ( _D

?

>

_D

-" # % "

>

G

?

?

G

>

_{D D D D}

D $ - #

>*? _{D D D D}

>+? _D

>>

_{D D}

?

>

_{D D}

??

D

-" # & _D

>

_{D D}

G

_{D D}

?

4

>

G

?

>*? _D >+? _{D D D}

>:? _D

J

I

_D

D D

-# $ 4 F

>*? $

1 > 1 >

??->+? # > 1 $

D $ ? 1

$ 3 1 $

-" # ' _*

>

_{* *}

G

_{* *}

?

?

G

>

_{+ + + +}

+ $ * + D

+

* -

>

G

?

* + * +

+

* * +

-" # ( _*D 1

* +D 1 + D

?

>

?

>

_+D

*D 1

+ +D

* *D

D

_>

_?

?

>

?

>

-?

>

_{* *D} *

?

>

_{+ +D}

+

>

D

?

-* +

-" # ) _*

>

_{* *}

G

_{* *}

?

?

G

>

_{+ + + +}

+ $

-?

G

>

_*

+ 4 $

>*? _{D * + D * +}

>+? _{* + * + * +}

>:? _{* +} 4 _D $

I

---J

_{* +}

D

>

*

+

---

?

4

-" # * _*

>

_{* *D}

?

?

>

_{+ +D}

+ $ - #

?

>

_D

>*? _{* +} 4

>+? _{D *D}

>

?

_+D

>

?

_D

$

+ +D

* *D

D

?

>

?

>

?

>

* +

4

-" # +

( 4 $

D

>$ (

?-" # $,

( 4 $

-" # $$ # ( 4

$

D

4

-" # $# (

4 $

D

>$ (

?-" # $% (

4 $

D

-" # $& # ( 4

$

D

4

" # $'

>*? 5 4 4 4

$

D

->+? 5 $ 4 4 4

$ _{* + *}

D

D

+ * +

- . . " ./ @. K "K # /5/.0# .K

@ .# K L@ # @

# $

> 4

4 ?

-"

>

G

?>

*

+

?

$

$

M

M

- _{* +} 4

?

G

>

_{D D D D}

D >$

M

D

M

D

M

D

M

D

?-?

G

>

>$

M

M

M

M

?

-5 1 $

* +

$-I

---J

_{* + D D** D +* *}

*

? + +

+ D + * D D +

*

+

J

---

---I

---J

_{* + D D ** D +* *}

*

I

---J

_{* + D D *+ D ++ +}

+

-% 0 +-; _*> _{* *} ( _*?

+> + + ( +?

$-= _{** D D} (G _;*

?

>

?

>

_{* D * D} (G _;+

?

>

?

>

_{+ D + D}

(-(

$

M

M

_{* + D}

M

M

_{* + D}G

I

---J

_{* + D D** * D*+ +}

I

---J

_{* + D D ** * D *+ +}

-"

8

_{* +}

9

>

*

+

?

9

8

_{* +} >

*

+

?

>

*

+

?

$ _* >

*

+

? _D

* >

*

+

? D

-% $ _{* +} $

*

+$ 4 - # (

D

_{** *+}

-* +

0 +-C (

9

8

_{** +*}

* +

8

*+ ++

9

D

D

_{;* +*}

+* :* ** **

+* **

;* :* ** * *

D

D

_{;+ ++}

++ :+ *+ **

++ *+

;+ :+ ** +

+

-" _{** +* ++}

++ +* **

;+ ;*

:+ :*

** **

D

D

D

D

*N D

*4 D

D *4 D

** :*

;*

+N D

+4 D

D +4 D

** :+

;+

*4 D

*4 D :* ;*

N

D

+4 D

D +4 D

** ** :+

D

?

>

?

>

++ ;+

+* ;*

++ :+ *+ ** +*

:* ** **

% 0 +-C

-% # _{* +} $

_*

+$ 4 - # (

D

_{** *+}

-% -% _{* +} $

* +$ 4

- _* 4 _*- ₊ 4

+- # (

D

*+

**

8

** +* ++

9

4

-% & _{* +} $

* +$

4 - # (

D

_{** *+}

-* + $

0 +-*+ (

9

8

_{** +*}

*

9

8

_{*+ ++}

+

+* **

;* :*

** * *

D

D

+* ;* ** :*

** **

++ *+

;+ :+

** *

+

D

D

++ ;+ *+ :+

*+ **

-" _{** +* ++}

$

++ +* **

;+ :+

;* :*

** **

D

D

D

D

++ ;+

** :+

+* ;* **

:*

** ** **

**

D

?

>

_{:+ *+ ;+ ++}

+* ;* ** :*

*+ ** ** **

-% 0 +-*+

-% ' _{* +} $

*

+$ 4 - # (

D

_{** *+}

-% ( _{* +} $

* +$ 4

- _* 4 _*- ₊ 4

+- # (

D

*+

**

8

** +* ++

9

4

-% ) _{* +} $

* +$

4 -

->*? _{* +} $

0 +-*< >

*

+

? 4

4

D

D

-#

+* **

;* :*

** *

*

D

D

+* ;* ** :*

** **

D

D

_+*

**

-#

++ *+

;+ :+

** * +

D

D

++ ;+ *+ :+

*+

**

_D

_D

++

*+

-9

8

_{*D +D :D} 4

4 4 $ _{*D D}4

+D

>

* D

?

4

-:D +D *D ;+ :+ ;* :* ** **

D

D

D

D

:D ;+ *D :+ +D ;* *D :* *D ** *D **

D

+

:D ;+ *D :+ +D ;* *D :* *D **

-/ _*D

D

_+D

D

_:D

D

- -

D

->+? # >*?

D

>+?

D

$

? *

> >+?

>

*

+

? 4 4

0 +-*< >*? >+?

- 5 $ 4 4

? *

> >+?

D

? *

> >+?

_D

>*? >+?

>

>*??-% 0 +-*<

- . . ""#E@ @ .@ @.E #/ /5

K L@ # @

#

-(

-" & $ 4 F

?

H

H

GH

H

>

H

?

G

>

4

?

G

>

O

>

O

?

$

>*?

H

>

J

O

I?

>+?

H

>:?

H

J>

?

M

O

I

J>

_D

?

M

O

I

I

O

M

?

O

J>

J>

O

?

M

O

I

-" & #

>

?

4

$

M

J

O

I

I

M

?

>

?

J>

>

_D

?

1

>

_D

?

-" & %

>

H

_D

H

?

>

_D

?

4

H

1 _D

H

$

D

?

O

>

?

>

D

?

O

>

?

>

H

D D D ? O P > D D ? O P > D

> _{> P}O_?

O

_D4

?-" & & 4 F

?

H

H

GH

H

>

H

?

G

>

O

4

?

G

>

$ >*?

I

O

J

?

>

H

>+?

H

>:?

H

>

J>

?

M

I

J>

?

M

I?

I

M

?

O

J>

I

M

?

O

J>

-" & '

>

H

_D

H

?

4

H

1 _D

H

$

-D

?

>

??

>

>

D

?

>

?

D

>

H

D D ? P > D D ? P > D

> _{> P ?}

?

>

?

O

>

H

_D D

?-- & $

H

4

-

H

->

!

?>8*C9?->

"

? %

-- & #

H

4

-

H

-

8C9-" & ' "

>*? 5 >5 ?

*

M

M

>

?

J

I

->+? > ?

"

_{* +}

+ * +

* + *

-" & ( .$#/ "

0

>0 ? _{* + * +}

J

I

$ _{* +} 5

-" & ) .$#/ "

@( 0

>@0 ? _{* +}

I

---J

_{* +} +

* $

>

*

+

---

? _{* +} 5

-- & % 8*+9 0

+

+ 5 - *

+

-& $ _{* +} $ 5

* +$ 4

- _{* +}

->

!

? 4 _D-" _*

H

H

+ * + 4

- _D

O

-* + $ 5 *

H

+

H

$ 5 - 5 _*

H

₊

H

H

_*

H

₊

H

I

O

J

H

H

₊

* " ;-:

H

- % " ;-* _D

- "

H

4

- #

O

D -

H

D

" ;-*

->

"

? = _*

" ;-* _*

H

- /

H

- %

" ;-*

-$

-- & & .$#/ 0

+

* * +

J

I

$ *

+ 5

-* +

-& # _{* +} $ 5

* +$ 4

-* +

->

!

? 4 _D-" _*

H

H

+ * + 4

- _D

O

-* + $ 5 *

H

+

H

$ 5 - _{* +}

" ;-+ _*

H

₊

H

- _*

+ " ;-* *

H

H

+ - 5 *

H

+

H

H

H

H

_{* + *}

H

₊

H

J

O

I

" ;-;

H

- % " ;-*

" ;-+ _D

- "

H

4

- #

O

D -

H

D

" ;-* "

;-+

->

"

? = _*

" ;-*

" ;-+ _*

H

- /

H

- % " ;-* " ;-+

-$

-- & '.$#/

$ >

*

+

---

? 5

-I

J

_*

* $ * >

*

+

---

*

?-/ - # >

*

+

---

?

-& % >

*

+

---

? 5

- _*

J

_{D> *?}

I

$

? * >

D >

*

+

---

*

? 4 - /

- #

>

*

+

---

?

-4

D >

*

+

---

?-"

H

>

*

+

---

?

?

---+

*

>

4

-/

H

>

*

+

---

?

5

-?

---+

*

>

" ;-+

?

---+

*

>

H

-I

J

_{D> *?}

* >$ D> *?>

*

+

---

*

?

4 ?

I

J

H

H

_{* *} >$

H

* >

*

+

---

*

??

- "

H

H

>

*

+

---

?-H

-?

---+

*

>

H

" ;-<

H

- % " ;-+

?

---+

*

>

D - "

H

4

-* >

*

+

---

*

?

? * >

D >

*

+

---

*

?- % " ;-+

-- & ( 8*+9

>

_D

?

@0

?

>

_{* D} *

*

>

?

+ D +

+

-+

* * +

J

* +

---

I

$ >

*

+

---

*

?- # _{* +}

-& -& @0

* +- * +

I

---J

_{* +}

+

* $

>

*

+

---

*

?- # _{* +}

-& ' _{* +} 5

+

* * +

J

D* D+

---

D

I

$

?

*

---+

*

>

D 4 -# *

+

-4

D >

*

+

---

?- " *

H

+

H

* + 4

-D >

*

+

---

? >

*

+

---

?-/ _{* +} 5

-I

---J

H

H

_{+ * +}

* - "

H

*

H

+

H

-* +

" ;-* " ;-+ _*

H

₊

H

?

---+

*

>

D

- _*

H

₊

H

;-;

H

- "

H

4

- - >

*

+

---

?

D >

*

+

---

?- % " ;-+

- "# #/

# $

-$ 4

-# $ $

'* '+ $

$ 1 $

-* 5

-*-5 -*

$-*F $ '* '*G

+F $ '+ '+G

:F '*G

;F '+G

< F 4 '* 4

'+ '*G

, F 4 '* 4

'+ '+G

AF '* '*G

BF '+ '+G

**

C F '*G

*+

*D F '+G

*:F G

*;F G

*<F ( G

*,F $ G

*AF $ '*G

*BF $ '+G

*F $ '* $ '+G

+F 4 '*G

:F 4 '+ G

,

; F 4 '*G

A

< F 4 '+G

**

B F '+ G

CF '*G

*DF '+G

0 $ 1 $

*

+ _:

; <

,

A

B C

* D * *

* +

* : * ;

* < * , * A

* B

* C

+ D + * + + + :

+ ;

+ <

* +

: ;

< ,

A B

C * D

* *

* +

* : * ; * < * , * A

*;

*+ F '* G

*:F '*G

*A

*< F '+ G

*,F '+G

*BF '* '+G

*CF '*G

+DF '+G +*F G

++F G

+:F ( G

+;F $ '*G

+<F $ '+G

+ 5 + $

5 -

*-*CF '*G

+DF '+G

+*F G ++F G

+:F G +;F $ G

+<F $ '*G

+,F $ '+G

+,F '*G +AF '+G

+BF G +CF G :DF G

:*F $ '*G :+F $

'+-'* '+ $ $ 1

$ $

->5 -:? _{* +}$

4

-5 -* 5 -+

* + $

5 - % ;-+

5

-/ " #/

# $

-$ 1

$

-- # 4

-3

- 5

-! /="@0Q2@

$ 1 $

5 Q

-,D<A:D*+ ,D,A+*BD ,DA+*D,* Q

5 . CA:

Q - +DD+ :*++DD ! "

> K

!5DCD:?-.@5@.@ @

8*9 - 0

- # F - % Q- - !- 1

> -? 0- #@@@ " >+DDA?

-

*:4++-8+9 @- % "- % - 0

- # F

-0-2 2-#- $ 2- > -? /5

*CC<- " - C*< -:,;4:B:- L

>*CC<?-8:9 - 0 =- .

-# ::>;? +CA4:*<

>*CC,?-0 # 1 #

*

+ :

; <

,

A

B C

* D * *

* +

* : * ;

* < * , * A

* B

* +

: ;

< ,

A B

C * D

* C + D + * + + + : + ;

+ <

+ ,

+ , + A + B + C : D : *

: + 0 % 1

*

+ :

; < ,

A

B C

* D * *

* + * :

* ;

* < * , * A

* B

* C + D + * + + + :

+ ; + <

* +

: ;

< ,

A B

C * D

* * * +

* : * ; * < * , * A

* B

+ * + +

+ , + B + C : D : *

+ < + , : +

+ A + D * C + *

8;9 ! L

-$ 1 $ $

-# F +; #

- @ +DD:

::A4:<,-8<9 Q- 5 2- Q

-( F

/ 2 - +< #

% # >+DD;?

*AA4*C,-8,9 "- % - 5 - $

@ - # F %- - > -?

0 @ *D:4**:

! $ +DD+

8A9 K- /

- # F . Q - " ;B: $ K 1F 4E *CCD-

;<A4;AD-8B9 E .- "- 4 4

# @Q. #/ E" # & :C >+DD,?

*B+4*+;-8C9

-: #

2 " :C<C

>+DD,? <A,4<BA8*D9

-- #

@ +DDB E - +

,4**-8**9 - #- E - 0

L-4 - @ #

E - ** -+ - ;:4<D

+DDC-8*+9 Q- - " =- 2- " " %

L 0

-+DD+

+<>*+?F*:+<4*::D-8*:9 R- - 0 - "- =

-$ - #

@ +; *:DC4*:+B

>+DDB?-8*;9 Q- - 1 - - !- - E

2

- #

*, >+DD<?

,A4C+-8*<9 .- % - 0 .- " - 2

$ E - @ .# @

+DDB " <D,+ - :BB4:CB

+DDB-8*,9 @- ! E- . =- 2

- % 2 +DD, = 1 " ;*D: -*D<4**,

+DD,-8*A9 - - 2- ! 1 - !

"- " - K 1

- @ .# @ +DDB " <D,+ - C+4***

+DDB-8*B9 - - $ 1

E - < - , ,CC4ADA

+D*D-8*C9 - - +DDC

=.# =

# @ > #@ +DDC? E - < -A;C4A<;

+DDC-8+D9 - 2 F