英语翻译REFERENCES[1] T.Hummel,W.Fengler,“Design of Embedded Con

英语翻译
REFERENCES
[1] T.Hummel,W.Fengler,“Design of Embedded Control Systems
Using Hy-brid Petri Nets and Time Interval Petri Nets”,Springer
Berlin,Heidelberg New York,2005,pp.141-154.
[2] A.Pacholik,W.Fengler,H.Salzwedel,O.Vinogradov,“Real Time
Constraints in System Level Specifications Improving the
Verification Flow of Complex Systems”,In:Net.ObjectDays,2005,
September.
[3] C.B.Thanh,H.Klaudel,and F.Pommereau,“Petri nets with causal
time for system verification”,In Proceedings of MTCS 02.ENTCS,
2002.
[4] J.Yim,K.Y.Lee,“Fuzzy-Timing Petri Nets with Choice
Probabilities for Response Time Analysis”,ICCS 2007,Part IV,
LNCS 4490,2007,pp.652–659.
[5] Y.Zhou,T.Murata,J.Tsai,“Reduction Methods for Real-Time
Systems Using Fuzzy Timing Petri Nets”,Technical report of EECS
Dept.,University of Ilinois,Chicago,2000.
[6] W.Song,W.C.Dou,X.P.Liu,“Timing constraint Petri nets and
their schedulability analysis and verification” Journal of Software,
2007,vol.18(1),pp.11-21
[7] Z.H.Ding,B.K.Horst,“Fuzzy timed Petri nets- analysis and
implementation”,Mathematical and Computer Modeling,2006,vol.
43,pp.385–400.
[8] K.M.Lee,K.S.Hwang,C.H.Lee,“A context inference framework
based on fuzzy colored timed Petri nets”,World Scientific and
Engineering Academy and Society (WSEAS),2007,pp.1790-5117.

文献[ 1 ] T.Hummel,W.芬勒,”设计的嵌入式控制应用数字模拟混合Petri网和时间区间Petri网”,springerberlin,海德堡纽约,2005,页141-154.[ 2 ] a.pacholik,W.芬勒,H.萨尔茨韦德尔,O.维诺格拉多夫,“真正的时间约束性在系统级规格提高验证流程的复杂系统”,在网.objectdays,2005,九月.[ 3 ] C.B.Thanh,H.klaudel,F.pommereau,“系统验证”causaltime Petri网,在MTC 02会议录.entcs,2002.【4】J Yim,K.Y.Lee,“模糊时间Petri网的响应时间分析”,ICC 2007,第四部分,choiceprobabilities LNCS 4490,2007,652页–659.[ 5 ]周老师,T.村田,J.蔡,“使用模糊时间Petri网”房timesystems还原的方法,对eecsdept技术报告.,芝加哥的伊利诺斯州,大学,2000.[ 6 ] W.歌,W.C.斗,X P.刘,“时间约束Petri网及其可调度性分析与验证”软件,2007学报,18卷（1）,页11-21 [ 7 ] Z.H.丁,B.K.地垒,“模糊时间Petri网的分析与实现”,数学和计算机建模,2006,页385–43,400.【8】K.M.李,K.S.黄,C.H.Lee,“上下文推理框架基于模糊有色赋时Petri网”,世界科学与工程学院和社会（wseas）,2007,页1790-5117
再问： 敢问阁下，那些什么T.Hummel是什么[1]？还有没翻译的springerberlin又是什么[1]？哥们，通过我综合分析，你这是直接copy到翻译器上的啊。。。。。不过还是谢谢，copy的也够辛苦的，呵呵，麻烦指教啊
再答： 呃，你还是另请高手吧。Sorry，我帮不了你！