Stațiune montană modelată cu

rețele Petri
 Pentru modelare am folosit programul HPSim, iar rezultatul este următorul:

Tranzițiile și pozițiile au următoarele explicații:

 P0 - turiștii intră în stațiune;

 t0 - turiștii merg la caserie;
 P1 - turist la caserie;
 P9 - caserie/vânzător liber?
 t2 - turistul cere tichetele voite casierului;
 P2 - turistul plătește tichetele;
 t3 - vânzătorul oferă tichetele turistului;
 P3 - turistul părăsește caseria;
 t4 - turistul se îndreaptă către boutique-ul de închiriere a echipamentului montan(sanie,
ski, placă, etc);
 P4 - turistul ajunge la boutique;
 t5 - turistul așteaptă eliberarea boutique-ului;
 P5 - boutique/vânzător liber;
 P6 - turistul cere vânzătorului echipamentul dorit;
 t6 - turistul oferă buletinul vânzătorului;
 P7 - turistul ridică echipamentul;
 t7 - turistul se indreaptă către pârtie;
 P8 - turistul ajunge la pârtie;
 t8 - turistul urcă pe pârtie;
 P10 - turistul skiaza, se da cu sania, cu placa;
 t9 - turistul merge către boutique pentru a preda echipamentul;

 P11 - boutique liber;

 P12 - turistul este în boutique;
 t10 - turistul predă vânzătorului echipamentul;
 P13 - turistul își cere buletinul;
 t11 - turistul ia buletinul;
 P14 - turistul are buletinul;
 t12 - turistul părăsește boutique-ul.