DocumentCode :
2667896
Title :
A Petri Net Based Modelling and Synthesis Technique for Real-Time Systems
Author :
Peng, Zebo ; Törne, Anders
Author_Institution :
Linkoping University, Sweden
fYear :
1993
fDate :
22-24 June 1993
Firstpage :
204
Lastpage :
209
Keywords :
Control system synthesis; Control systems; Design methodology; Flexible manufacturing systems; Information analysis; Information science; Petri nets; Real time systems; Refining; Timing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Real-Time Systems, 1993. Proceedings., Fifth Euromicro Workshop on
Conference_Location :
Oulu, Finland
ISSN :
1068-3070
Print_ISBN :
0-8186-4110-X
Type :
conf
DOI :
10.1109/EMWRT.1993.639093
Filename :
639093
Link To Document :
بازگشت