%0 Journal Article
%T 作战事件跟踪描述建模及验证方法研究
%A 刘刚
%A 罗爱民
%A 皇甫先鹏
%J 计算机科学
%D 2012
%I 
%X 为了对体系结构设计中的作战事件跟踪描述进行建模分析，提出了用扩展时序图模型对作战事件跟踪描述 进行建模的方法。定义时序图的生命线为时间消息，研究了时序图模型与Petri模型之间的同构关系，以此为依据给 出了时序图转换为Petri网的算法。在此基础上，研究了扩展时序图和对象Petri网之间的转换算法，并处理了扩展时 序图中的自环消息特例。最后，结合防空作战过程给出该方法的一个应用案例。
%K 对象Petri网，作战事件跟踪描述，验证评估
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=4207430C62DE8EBED15F2F889202567A&yid=99E9153A83D4CB11&vid=7C3A4C1EE6A45749&iid=94C357A881DFC066&sid=6490F0E20C4B41AD&eid=E39A3F4E3A67639B&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0