Fie este dat un stec din 4 locaţii S1, S2, S3, S4 şi 2 piese, cu următoarea legea de trecere locaţiilor

P1->s1->s2->S4-> Ieşirea
P2->s1->s2->s3-> Ieşirea
De modelat reţeaua Petri colorată pentru sistemul dat.

C1={<p1,s1>,<p2,s1>}
C2={<p1,s1>,<p2,s1>,<p1,s2>,<p2,s2>}
C3={<p1,s4>,<p2,s3>}

id(<pi,sj>)=<pi,sj> ,i=1..2 j=1…4

rout(<p1,s1>)=<p1,s2>
rout(<p1,s2>)=<p1,s4>
rout(<p2,s1>)=<p2,s2>
rout(<p2,s2>)=<p2,s3>

proj(<p1,s1>)=<s1>
proj(<p1,s2>)=<s2>
proj(<p2,s1>)=<s1>
proj(<p2,s2>)=<s2>

projorout(<p1,s1>)=<s2>
projorout (<p1,s2>)=<s4>
projorout (<p2,s1>)=<s2>
projorout (<p2,s2>)=<s3>
P1->s2->s4->s3-> ieșirea
P2->s1->s2->s5->ieșirea
C1 = {<pl,s2>,<p2,s1>} intrare
C2 = {<p1,s4>,<p2,s2>,<p1,s2> , <p2,s1>}
C3 = {<pl,s3>,<p2, s5>}ieșire
rout (<p1, s2>) = <p1, s4>
rout (<p1, s4>) = <p1, s3>
rout (<p2, s1>) = <p2, s2>
rout (<p2, s2>) = <p2, s5>
projorout (<p1, s2>) = <s4>
projorout (<p1, s4>) = <s3>
projorout (<p2, s1>) = <s2>
projorout (<p2, s2>) = <s5>

id(<p1, s2>)=<p1,s2>.
id(<p1, s4>)=<p1,s4>.
id(<p1, s3>)=<p1,s3>.
id(<p2, s1>)=<p2,s1>.
id(<p2, s2>)=<p2,s2>.
id(<p2, s5>)=<p2,s5>.

proj(<p1, s2>)=<s2>.
proj(<p1, s4>)=<s4>.
proj(<p1, s3>)=<s3>.
proj(<p2, s1>)=<s1>.
proj(<p2, s2>)=<s2>.
proj(<p2, s5>)=<s5>.

proj (<p1, s1>) = <s1>

proj °rout(<p1, s1>) = <s2>