DocumentCode
2052823
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
Volume
3
fYear
2001
fDate
2001
Firstpage
1565
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems, Man, and Cybernetics, 2001 IEEE International Conference on
Conference_Location
Tucson, AZ
ISSN
1062-922X
Print_ISBN
0-7803-7087-2
Type
conf
DOI
10.1109/ICSMC.2001.973507
Filename
973507
Link To Document