作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑
LAPD协议的Petri网描述与验证
吴克,周正康
The Description and Verification of the Petri Net Using LAPD Protocol
. 1995, (06): 63 -67 .