The high level Petri net (M-net) editor


1. Description of the high level Petri net editor window.

2. Menus of the high level editor