WL_Net相关论文
Petri网是一种很有效的模型描述语言，尤其适合描述工作流。给出了基于Petri网的工作流逻辑（WF_logic）化简规则，这里则借助矩阵及矩阵运......
提出了应用工作流逻辑网（WL_Net）进行软件安全性分析的新方法。介绍了运用WL_Net对导弹飞行控制软件进行安全性分析的步骤并分析了其......
