Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Save to My Library
Look up keyword
Like this
0Activity
0 of .
Results for:
No results containing your search query
P. 1
CD 04 RedePetriMarcacao

CD 04 RedePetriMarcacao

Ratings: (0)|Views: 1 |Likes:
Published by Pedro Fazano Jr.

More info:

Published by: Pedro Fazano Jr. on Jun 23, 2013
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

06/23/2013

pdf

text

original

 
REDES DE PETRIMARCAÇÃO
 
Marcação
 A marcação de uma RP é a associação de um certo
número de
tokens
ou
fichas
para cada um dos lugares da
rede.
 A marcação muda com a execução da rede
Token é um conceito básico, assim como lugar e
transição
 
Marcação: definição
Uma marcação
m
de uma RP C = (P,T,I,O) é uma função
de P nos inteiros não negativos, ou seja,
m
:P
N.
Ou
Uma marcação m de C = (P,T,I,O) é um vetor 
m
= (
m
1
,m
2
,...,
 
m
n
) onde n = |P| e cada
m
i
N.
Uma RP marcada é denotada M = (C,
m
) ou C = (P,T,I,O,
m
)

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->