Technical Report 86--25. Irvine, USA: University of California; Department of Information and Computer Science, January 1987.
Abstract: P-NUT is a suite of tools for constructing and analysing Petri Net models. The tools support state-space analysis, simulation, performance evaluation and verification. While the tools are useful in their current state, the P-NUT system is just beginning to achieve its overall objective of aiding in the design of complex distributed real-time systems. This report provides a guided tour of the tools for researchers who are interested in exploring P-NUT's capabilities.
Keywords: net tool; state-space analysis; simulation; performance evaluation; distributed system.