In: Foundations for the Future. Proceedings of the 9th Australian Microelectronics Conference, 1990, Adelaide, SA, Australia, pages 177-182. Edgecliff, NSW, Australia: Instn. Radio Electron. Eng., 1990.
Abstract: The paper describes a new kind of Petri net, called the Hardware Petri net (HNET), which is specially tailored and developed to enable the modeling of concurrent systems which are to be implemented in hardware. The principal application of HNET is to produce reliable communication protocols efficiently.
Keywords: net modelling (for) hardware implementation (of) communication protocol(s); hardware net; communication protocols reliablility.