A G-Net Module Synthesis Method for Software Applications. - Vladimir P. Sliva (SEKE, 1995)

A Method for Applying G-Nets To Communication Protocols. - Vladimir P. Sliva; Tadao Murata; Sol M. Shatz (SEKE, 1996)

Protocol Specification Design Using an Object-Based Petri Net Formalism. - Vladimir P. Sliva; Tadao Murata; Sol M. Shatz (Int. J. Softw. Eng. Knowl. Eng., 1999)