基于有色Petri网的安全构件模型

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

基于有色Petri网的安全构件模型

陈旭;徐中伟;喻钢

Safety-component Model Based on Colored Petri Net

CHEN Xu; XU Zhong-wei; YU Gang

计算机工程 . 2008, (22): 165 -167 . DOI: 10.3969/j.issn.1000-3428.2008.22.057