For the most recent entries see the Petri Nets Newsletter.

PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols.

Billington, J.; Wheeler, G.R.; Wilbur-Ham, M.C.

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.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography