Petri FYI-an intelligent user-extensible system specification tool

A description is given of Petri FYI, a systems specification tool based on the Petri-net model of computation, and suitable for design of concurrent systems. 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, which allowed rapid prototyping with predicate calculus as an executable specification language. System specification tools based on a declarative language inherit the advantages of the declarative language: ease of adaptive maintenance, user extensibility, and automatic generation of solutions to new problems without explicit programming by the user.<
>