High Level Synthesis of Controllers for Communication Protocols

摘要

Petri nets are popular in the communication protocol community for modelling and analysis purposes. This paper gives a procedure for implementation of controllers in hardware from a high level Petri net model. With this the entire design-analysis-implementation cycle for protocols can be petri net based. It is especially suited for data link, network, transport layer protocols.