Title :
Man-machine interface for real-time telecontrol based onPetri nets specification
Author :
Gomes, Luis ; Barros, Joao-paulo ; Costa, Aniko
Author_Institution :
Dep. de Engenharia Electrotecnica, Univ. Nova de Lisboa, Monte de Caparica, Portugal
Abstract :
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
Keywords :
Petri nets; formal specification; real-time systems; telecontrol; user interface management systems; user interfaces; Petri net specification; man-machine interface; real-time telecontrol; Application software; Computer languages; Formal specifications; Petri nets; Programming profession; Robots; Software systems; Testing; Unified modeling language; User interfaces;
Conference_Titel :
Systems, Man, and Cybernetics, 2001 IEEE International Conference on
Conference_Location :
Tucson, AZ
Print_ISBN :
0-7803-7087-2
DOI :
10.1109/ICSMC.2001.973507
