In: IEEE Transactions on Software Engineering, Vol. 14, No. 3, pages 301-316. March 1988.
Abstract: PROTEAN is a computer aid for the specification and analysis of computer communication protocols. PROTEAN, based on a formal specification technique called numerical Petri net (NPN), provides both graphical and textual interfaces to the protocol designer. NPN is a high-level inhibitor Petri net.