Rețeaua Petri

Folosind o rețea Petri, un sistem de evoluție paralelă sau evenimente concurente cuprinse din diverse procese cooperează pentru realizarea unui obiectiv comun.

Prezența mărcilor este de obicei interpretată ca prezența resurselor. Postarea unei tranziții (acțiunea care urmează să fie executată) se efectuează atunci când sunt îndeplinite anumite precondiții, indicate de brandurile din jetoane (există o cantitate suficientă de resurse), iar tranziția (execuția acțiunii) generează un anumit modificat post-condiții Marcajele altor chipsuri (resurse sunt eliberate) și, prin urmare, este permisă poșta de tranziții ulterioare.

Definiție: O rețea Petri este un set format de r = {p, t, p re, p} {\ displaystyle r = {p, t, pre, post \}}

{\ displaystyle r = \ {p, t, pre, post \} }

, unde p {\ displayStyle p}

$P$

este un set de jetoane cardinale n {\ displaystyle n}

div}

un set de tranziții cardinale m {\ Displaystyle m}

$m$

, p re {displaystyle pre}

Aplicația prealabilă care este definită ca

p re: P × T → N ATICES {\ DisplayStyle Pre: P \ Times T \ dreaptaRrow Natural}

Div> ${\ DisplayStyle Pre: P \ Times T \ Rightarrow Natural}$

și p {\ DisplayStyle Post}

Div> ${\ DisplayStyle Post}$

Aplicația incidentă posterioară care este definită ca

P Ost: P × T → N ATURAL {\ Afișare post: P \ ori T \ Dreapta natural}

${\ DisplayStyle Post: P \ Times T \ dreaptaRrow Natural}$

Definition: A marcat Network este un set format de {r, m} {\ displaystyle \ {r, m \}} unde r {\ displaystyle r}

iv id = „C2630EF688” R

este o rețea Petri conform definiției, m \ displaystyle m}

$M$

este o aplicație numită marcare și

M: P → NA Treal {\ DisplayStyle M: P \ RanceRrow Natural}

${\ Afișare Natural}$

Un număr natural este asociat cu fiecare brand, prin urmare, în cazul în care numărul de branduri este descris de cardinalitatea setului de branduri din rețea.

Lasă un răspuns Anulează răspunsul