High-level Petri net

From Free net encyclopedia