%0 Journal Article
%T 从Petri网到形式描述技术和协议工程
%A 罗军舟
%A 沈俊
%A 顾冠群
%J 软件学报
%D 2000
%I 
%K 协议
%K 协议工程
%K 形式描述技术
%K Petri网.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=E14D5B191FBE1824&yid=9806D0D4EAA9BED3&vid=708DD6B15D2464E8&iid=94C357A881DFC066&sid=6EEC242D0D8BE428&eid=D9D6C3CD78BED2C5&journal_id=1000-9825&journal_name=软件学报&referenced_num=30&reference_num=32