Irvine Information & Computer Science Report, University of California, 23 pp. pages, 1985.
Abstract: UCI's distributed systems project is investigating petri net-based modeling techniques, and has developed P-nut, a suite of tools for constructing and analyzing complex Petri net models. The currently existing tools, and the motivation behind their selection is described.