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.
Back to the Petri Nets Bibliography