问题描述:
英语翻译
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.
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.
问题解答:
我来补答展开全文阅读