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

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