Synchronized PN

Synchronized Petri Nets

where e is the always occurrent event

A synchronized Petri net is a strcuture :

RdPS = < RdP, E, Sync.>

with :

RdP : marked Petri net

E : set of external events,

Sync. : T E U {e}

Example of interpretation of a RdPS :

-places represent machines,

-a mark in a place indicates that the machine is bussy,

-The occurrence of the event associated with the

output transition of the place indicates that the piece

leaves the machine

Diapositiva precedente

Diapositiva successiva

Torna alla prima diaposiva

Visualizza versione grafica