In: Real-Time Systems, Vol. 1, No. 4, pages 299-312. April 1990.
Abstract: A Petri net-based real-time control software system for transaction processing is proposed to improve flexibility and maintainability in real-time application software. This software system is named Station Controller (SCR). Transaction processing control programs can be understandably described using Control Net (C-net) which is a problem-oriented language based on a colored safe Petri net model. The described C-net program is directly executed by a net-interpreter.
Keywords: coloured safe net; control software (for) transaction processing; station controller; control net; net interpreter.