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