In: Seventh Annual International Phoenix Conference on Computers and Communications, Conference Proceedings, pages 208-212. Washington: IEEE Comput. Soc. Press, 1988.
Abstract: A description is given of Petri FYI, a systems specification tool based on the Petri-net model of computation. It allows the user to specify, manipulate and reason about systems as would an expert developer, using episodic and program-slice models. Petri FYI was implemented using PROLOG.