基于时间扩展Petri网的实时嵌入式软件体系结构建模及可靠性评估
许玉堂;殷永峰;孙静;张弛;刘斌
Real-time Embedded Software Architecture Modeling and Reliability Estimation Based on Time-extended Petri Net
XU Yu-tang;YIN Yong-feng;SUN Jing;ZHANG Chi;LIU Bin
兵工学报 . 2015, (2): 363 -373 .  DOI: 10.3969/j.issn.1000-1093.2015.02.025