Title :
A Petri Net Based Modelling and Synthesis Technique for Real-Time Systems
Author :
Peng, Zebo ; Törne, Anders
Author_Institution :
Linkoping University, Sweden
Keywords :
Control system synthesis; Control systems; Design methodology; Flexible manufacturing systems; Information analysis; Information science; Petri nets; Real time systems; Refining; Timing;
Conference_Titel :
Real-Time Systems, 1993. Proceedings., Fifth Euromicro Workshop on
Conference_Location :
Oulu, Finland
Print_ISBN :
0-8186-4110-X
DOI :
10.1109/EMWRT.1993.639093