A Graphical Petri Net Based Editor for a Visualization of Distributed and Parallel Systems. - Nikolay A. Anisimov; Aleksey Kouvalenko; Pavel Postupalski; Aleksey Simanchuk (CONPAR, 1992)

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