• Nenhum resultado encontrado

Analysis of some properties for a basic Petri net model

N/A
N/A
Protected

Academic year: 2017

Share "Analysis of some properties for a basic Petri net model"

Copied!
8
0
0

Texto

(1)

!

!

!"#$ % & ' ( )

% * & % % * (

+ , &

-) % & - )

. ) % ( ) & ' * / + ,

& 0 , % %

% 0

" #

, 0 % 0

( % , , ' * % 0 % % 1

% % ( (1 ( ( 1 % , ,

2 1 3 ( , 1 (

$ % ,1 ( 0 , 0 ,

% % 1 % 1 ( % % 2

0 0 % ( % %

,1 ( % '! ( %* % %

' % ! , , ( , % 2 4

% , % , , 1 5

% % , , % 5

( 0 , 6

0 % ( % % , % 0 2*

(2)

7

% % ( % 1 , 2 3 2

1 * % +

$ % &%

2 , , 0 % ' ( % %

, 2 ( 3 , % % 8 2 2 ( 3

0 0 % % 0

( 8 1* 2 2 ( 9 : 2

% % % ( % 0 (

% ( % ( (( % 2 ; 2 2

% % (

< = <>?= > ; = ; <>@ = < > ;?

( % ( % % 2 < > ;?

% < > ;? % % ( < ;?*

% % * ;*

% 0 % 2 1* % <>@ % 2

9;>: % ( % % %

'

' 2 % , (

, ( * % (1 2 %

% , % 1 2 *

1 ( %* % %

* * * *

0 ( % %* ( , % % 1

3 , ' % % 0 3

2 1 ( % ( % %

% ' 4

' < A 9'* * : 2

'* 2 % B * ' %

* , 2*

% , , ( 2 %

+ * ' 1 % % (1 2 ,

(3)

C ' A D' * ' * ' *E * ' 7F

A D * *E * F

AD9' * :* 9 *'?:* 9 *'@:* 9'G* :* 9' * :* 9' * :*

9 *' :* 9 *' :* 9 *'7:* 9' * @:* 9 @*' :* 9' * :*

9' * :* 9'7* G:* 9 * ' :* 9 * ' ?:* 9 * ' @:*

9 G*' :* 9' * :* 9 * ' G:* 9 *' :* 9 * ' 7:F

( & , % % %

% 2 0 4

( 1 5

( %1 ( 0 1

1 2 0 % , % * % 0 1

( 2 ' 1* 3 % % * * ,

1

% ( * 2 ,

' 90 ( : %

+ * 1 ( %

+

( % 6 0

8 2 1 ( % % * 2 , 3

1 , 2 , (

0 0 % 1 %% , 3 ,

% * ( 2 1 3 2 *

(4)

% 2 + ,

9 + % * % @* % G: ( %

81 %* ( % 1

% * @ % G 1 * % @

% G*

H % 0 % (1 , ( 6 %

2 , 1 ' '! 4 ' % % '

!% @ H % 2

) *

) " !

' 0 % 2 ' % ( 2

(5)

' 0 % (1 0 ' 0 * ( % %

% ' 0 6 % ( 24

$9' : = $9' : = $9' : A

$9' : = $9' : = $9' ?: A

$9' : = $9' : = $9' @: A

$9' : = $9' : = $9' G: = $9' : = $9'7: A

$9' : = $9' : = $9' : = $9' : = $9'7: A

$9' : = $9' : = $9' 7: = $9' : = $9'7: A

$9' : = $9' G: = $9'G: = $9'7: A

$9' : = $9' : = $9' : = $9' : = $9'7: A

$9' : = $9' : = $9' : = $9'@: = $9'7: A

$9' : = $9' : = $9'G: = $9'7: A

$9' : = $9' 7: = $9' : = $9' : = $9'7: A

$9' : = $9' : = $9' 7: = $9'@: = $9'7: A

$9' : = $9' 7: = $9'G: = $9'7: A

$9' : = $9' : = $9' G: = $9'@: = $9'7: A

$9' : = $9' : = $9' : = $9'?: A

$9' : = $9' : = $9' ?: = $9'?: A

$9' ?: = $9'G: = $9' : A

$9' : = $9' : = $9' @: = $9'?: A

$9' @: = $9'G: = $9' : A

$9' : = $9' : = $9' : = $9' : A

$9' : = $9' : = $9'@: = $9' : A

$9' : = $9' ?: = $9' : = $9' : A $9' : = $9' ?: = $9'@: = $9' : A $9' : = $9' @: = $9' : = $9' : A $9' : = $9' @: = $9'@: = $9' : A

$9' : = $9' : = $9' : = $9' : A

$9' ?: = $9' : = $9' : = $9' : A $9' @: = $9' : = $9' : = $9' : A

) $ & %

2 % % + 9 :* ( 32 % % + 9 :* %

(6)

"

2 % %

+

8 32 % %

+ ( % % + @ G ' ' ' ' ' ' ? ' @ ' ' G ' ' 7 ' '? '@ ' 'G ' '7 @ G ' ' ' ' ' ' ? ' @ ' ' G ' ' 7 ' '? '@ ' 'G ' '7 @ G ' ' ' ' ' ' ? ' @ ' ' G ' ' 7 ' '? '@ ' 'G ' '7

3 , % 2 ' %

2 , , 4

$ 3 ,

' ' ' ' ' ' ? ' @ ' ' G ' ' 7 ' '? '@ ' 'G ' '7

1* ( ( % %

2 , , 4

! ( %

@ G

(7)

?

) ' ( + (

!0 2 , * 0

( 1 , 4 ' '! % % 7 % ( 1 , 5

2 0 , % % , 3 ? ? % * %

1 2 @ G %

) )

1* 2 , 1 ) %

, '

( % % ( 4 , ' ( % %

( 4 , '

% % 3 ( 4 ( 1 % % 3*

% (1 % % 34 @ G

, &

% ( * ' % , 2 %

( ( 2 % *

( , ( * 1 * % ( %* *

% %I 1 ' 0 %

% , , , 2 3 2 % 1 6

0 1 2 3 2 % * 2 2 % % %

2 3

(

J! K + - *

# 8 3 1

JL CCK . / 0 M ! "* !%

% N * CCC

(8)

Referências

Documentos relacionados

The effect of inhibitors (ascorbic, caffeic, p- coumaric, ferulic, protocatechuic, benzoic acids, resorcinol, pyrogallol, sodium metabisulfite) on PPO activity

The antioxidant activity and the contents of total phenolics and flavonoids were quantified in the methanolic extracts of four Chaetomorpha species including C.. Eight samples

3) The easy practical application. The results of the simulations showed that more than 80% of the solutions created by the model based on colored Petri nets are better than the

The axial variations found in Astronium graveolens wood appear to provide a balance between the mechanical strength of the wood at stem base by the higher density and the

This change is thought to be linked not only with the reduction of grooming activities among children (which in former times would have de- stroyed many invaders

Petri net classes that have input and output events, priorities, and bounds, and that ad- ditionally are extended with time-domains and asynchronous-channels, support the

Here, it is used to demonstrate how we can easily obtain a set of models amenable for dis- tributed execution, having one controller associated with each wagon/process starting from

2 Overlap integral of the output 90 0 - bend PSW mode profile with a CWG mode profile with different waveguide widths and considering its core as being Si or being the