%0 Journal Article
%T 并行程序Petri网模型的结构性质
%A 崔焕庆  吴哲辉
%J -
%D 2007
%X 正确性是并行程序的基础，但是由于它的复杂性，其验证要比串行程..
%K [并行程序
%K Petri网
%K MPINet
%K 结构性质
%K 验证
%K parallel program
%K Petri net
%K MPINet
%K structural property
%K verification]
%U http://crad.ict.ac.cn/CN/Y2007/V44/I12/2130