In: Proceedings of the 12th International Conference on Software Engineering, 1990, Nice, France, pages 164-172. Los Alamitos, Ca, USA: IEEE Comput. Soc. Press, 1990.
Abstract: An environment for the construction and execution of requirement specifications for embedded systems is described. High-order Petri nets are used as a notation for the specifications. The environment consists of a net browser, a net editor, an animated net simulator, and a simulation engine. A hierarchically structured specification can be constructed using the graphics-based net editor. The animated simulator helps to detect errors and inconsistencies. The net browser enables management of several net hierarchies and the retrieval and reuse of nets. The simulation engine allows specifications to be executed in real time in the real environment.
Keywords: net tool; hierarchical net; requirement specification; high-order net; net browser, editor, simulator; hierarchically structured specification.