In: Weber, J.S.: Proc. of the Twelfth Structured Methods Conference, Chicago, pages 166-178. 1987.
Abstract: Petri FYI is a systems specification tool based on the Petri net model of computation, and suitable for design of concurrent systems. Petri FYI allows the user to specify, manipulate and reason about systems as would an expert developer, using episodic and program-slice models.