For the most recent entries see the Petri Nets Newsletter.

Execution of Ward's Transformation Schema on the Graphic Specification and Prototyping Tool Specs.

Pulli, P.; Dahler, J.; Gisiger, H.-P.; Kundig, A.

In: CompEuro 88 - System Design: Concepts, Methods and Tools, pages 16-25. Washington: IEEE Comput. Soc. Press, 1988.

Abstract: The SPECS tool is a window-oriented, menu-driven net editor and an integrated simulator with animation support for high-level Petri nets, embedded in an object-oriented programming environment and extended with a hierarchical structuring facility. However, the use of the tool is not limited to Petri-net based specifications. It is possible to describe the basic modeling elements of other specification methods with Petri nets.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography