IRE Transactions on Communications Systems · 1980 · 100 citations · 20 references
ComputingComputer EngineeringComputer ScienceComputer ArchitectureComputer NetworksSystems ModelingAutomata TheoryFinite State Machine ModelingFinite-state MachinesInterface ModelingNetwork ProtocolsPetri NetsCommunication Protocol ModelingInterface AutomataPetri Net ModelsProtocol ArchitectureProtocol DesignProtocol SpecificationProtocol State MachinesTransport Protocols
A three‑layer computer‑network model introduces interface and end‑to‑end protocol concepts. The study aims to develop a global model comprising two local models and a transmission‑medium model for end‑to‑end protocols. Finite‑state automata and Petri nets are employed to model a simple interface protocol. The authors reject the interface‑machine concept, generalize local models, associate automaton states with context, expand Petri nets, and show that the resulting models effectively capture transport protocols.
A three-layer model of a computer network is used to introduce the concept of interface and of end-to-end protocols. Using a simple interface protocol as example, finite state automaton and Petri nets are introduced. The idea of an interface machine is rejected and the problems related to the transmission medium are approached. End-to end protocols request a global model which includes two local models and a transmission medium model. However, the local model has to be generalized. This eventually leads to the association of the state of the automaton with a context. Petri nets have also to be expanded. Models presented here have been successfully used for modeling transport protocols.
20
Formal verification of parallel programs
Robert Keller · Communications of the ACM · 1976 · 791 citations · Full text
Finite state description of communication protocols
Gregor von Bochmann · Computer Networks (1976) · 1978 · 282 citations
N.V. Stenning · Computer Networks (1976) · 1976 · 173 citations