Text this: Petri net based algorithm modelization and parallel execution on symmetric multiprocessors