New large Petri net results for 3.2Ghz processor