In: IECON'89. Proceedings of the 15th Annual Conference of IEEE Industrial Electronics Society, 1989, Philadelphia, PA, USA; Vol. 4, pages 799-804. New York, NY, USA: IEEE, 1989.
Abstract: A novel approach for real-time software prototyping is considered which is based on extended Petri nets with objects for the specification and Modula-2 for the implementation. A software environment is developed based on this concept to enable fast prototyping of real-time software. The software environment (ENPROT) consists of a Petri-net-based programming language and related tools. The environment has been tested by symbolic execution and also on an academic pilot manufacturing plant.
Keywords: multi-tasking environment; net (with objects); Modula-2; extended net; software prototyping; net-based programming language.