基于扩展Petri网的安全关键软件需求模型检验

李震;刘斌;殷永峰;李晓勋

Requirement model checking of safetycritical softwarebased on expanded Petri net

LI Zhen;LIU Bin;YIN Yongfeng;LI Xiaoxun

Journal of Shenyang University of Technology . 2011, (1): 113 -120 .