首页 期刊 红河学院学报 一种基于用例及优先级策略时间Petri网的建模方法 【正文】

一种基于用例及优先级策略时间Petri网的建模方法

作者:范国华; 杜哲明 安徽农业大学信息与计算机学院; 合肥230036; 安徽省电力设计院信息部; 合肥230022
用例   优先级策略   时间petri网   映射方法   建模方法  

摘要:在给出用例及其相关概念的形式化定义的基础上,构建了从用例到具有优先级策略的时间Petri网模型映射的实施方法;提出了一种基于用例和Petri网的建模方法.它先以用例来捕获需求,再用具有优先级策略的时间Petri网来图形化用例,以此来实现它们各自优势的互补。

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

学术咨询 免费咨询 杂志订阅