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...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on software engineering 1988-03, Vol.14 (3), p.301-316
Main Authors: Billington, J., Wheeler, G.R., Wilbur-Ham, M.C.
Format: Article
Language:English
Subjects:
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
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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 NPNs, structured, edited, listed, displayed, and analyzed. Interactive simulation, exhaustive reachability analysis, and several directed graph analysis facilities are described. Specification languages are compared, with concentration on extended finite state machines and high-level Petri nets. Both the NPN and PROTEAN facilities are described and illustrated with a simple example. The application of PROTEAN to complex examples is mentioned briefly. Work towards a comprehensive protocol engineering workstation is also discussed.< >
ISSN:0098-5589
1939-3520
DOI:10.1109/32.4651