Nikolay A. Anisimov, Aleksey Kavalenko, Pavel Postupalski. PN:::3:::-Editor: Compositional Petri Net Editor for Protocol Specification. In Patrick W. Dowd, Erol Gelenbe, editors, MASCOTS 95, Proceedings of the Third International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems, January 10-18, 1995, Durham, North Carolina, USA. pages 325-328, IEEE Computer Society, 1995.
Abstract is missing.