In: IEEE Design Automation Conference Proceedings: 25th ACM, pages 548-553. New York: IEEE, 1988.
Abstract: A collection of tools that support the construction and analysis of Petri-net models is described. The focus is on a subset of the tools that comprise the P-NUT system. The features of the particular Petri-net model used which make the modeling of pipelining easy are highlighted.