A SOLUTION USING PARALLEL COMPUTING TO CALCULATE PETRI NET MODELS
Bing-lin YANG Department of Programming Technologies
Rezumat
Reţelele Petri au devenit un instrument popular de modelare şi simulare a fluxurilor de date şi control, în special în sisteme cu activităţi asincrone şi concurente. Calculul paralel reprezintă o metodă eficientă pentru soluţionarea rapidă a problemelor de calcul. În lucrare este descris un algoritm de paralelizare, ce se bazează pe tehnologia MPI, pentru rularea modelelor de Reţele Petri pe clustere de calculatoare.