Man-machine interface for real-time telecontrol based onPetri nets specification

A specific class of Petri nets is presented and its application to the specification and implementation of a man-machine interface for a real-time telecontrol station is described. The proposed Petri nets class is amenable to be use by people with no previous experience in the use of formal methods and allows a very simple, yet effective, translation to code.