Execution of Ward's transformation schema on the graphic specification and prototyping tool specs

@article{Pulli1988ExecutionOW,
  title={Execution of Ward's transformation schema on the graphic specification and prototyping tool specs},
  author={P. Pulli and John S. Dahler and H.-P. Gisiger and A. Kundig},
  journal={[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools},
  year={1988},
  pages={16-25}
}
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. The initial results of emulating the real-time structured analysis… CONTINUE READING