PN3-Editor: Compositional Petri Net Editor for Protocol Specification. - Nikolay A. Anisimov; Aleksey Kavalenko; Pavel Postupalski (MASCOTS, 1995)