In: Electronic Communications in the 1990's. (Conference 1990, Melbourne, Australia), pages 137-141. Barton, Australia: IE Australia, 1990.
Abstract: In this paper, the authors present a formal method called Hardware Petri Nets (H-nets) which can be used to assist in the design and implementation of reliable protocols in hardware. The concepts of hierarchical and modularized modelling structures are introduced in H-nets to enable direct mapping of a model into hardware.
Keywords: hardware implementation (of) communication protocol(s); hardware net; hierarchical (and) modularized modelling.
Back to the Petri Nets Bibliography