Nikolay A. Anisimov;Aleksey Kouvalenko;Pavel Postupalski;Aleksey Simanchuk
-;-;-;-
PN3-Editor: Compositional Petri Net Editor for Protocol Specification
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems