并行程序Petri网模型的结构性质

Keywords: [并行程序, Petri网, MPINet, 结构性质, 验证, parallel program, Petri net, MPINet, structural property, verification]

Full-Text   Cite this paper   Add to My Lib

Abstract:

正确性是并行程序的基础，但是由于它的复杂性，其验证要比串行程..

Full-Text