PROTEAN: a high-level Petri net tool for the specification and verification of communication protocols

The PROTEAN protocol emulation and analysis computer aid is presented. It is based on a formal specification technique called numerical Petri nets (NPNs), and provides both graphical (color) and textual interfaces to the protocol designer. NPN specifications may be created, stored, appended to other...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE transactions on software engineering 1988-03, Vol.14 (3), p.301-316
Hauptverfasser:	Billington, J., Wheeler, G.R., Wilbur-Ham, M.C.
Format:	Artikel
Sprache:	eng
Schlagworte:	Analytical models Animation Applied sciences Automata Bibliographic literature CAD Communication Communications Computational modeling Computer aided design Computer programming Computer science control theory systems Design Emulation Exact sciences and technology Formal specifications Graphs Laboratories Language Petri nets Programming languages Protocol Protocols Reachability analysis Software Software engineering Specification languages Specifications Techniques Work stations Workstations
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!