您的位置： 专家智库 > >

马超

作品数：1 被引量：2H指数：1
供职机构：浙江理工大学更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇基于UML
  • 1篇UML
  • 1篇PETRI网

机构

  • 1篇浙江理工大学

作者

  • 1篇丁佐华
  • 1篇林红昌
  • 1篇马超

传媒

  • 1篇浙江理工大学...

年份

  • 1篇2010
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于UML和Petri网的建模及其验证被引量：2
2010年
为了更好的建立系统模型,分析系统模型的性质,提出一种基于UML和Petri网的建模方法。用UML对系统进行可视化建模,利用Petri网对系统的动态行为进行建模,从不同的角度对系统进行建模,运用两种建模方法的优势,以及UML和Petri网之间的转化规则,实现两种模型的转换。最后把Petri网转化为Promela程序,用SPIN工具Petri网模型进行验证。
马超林红昌丁佐华
关键词：UMLPETRI网
全选 清除 导出
共1页<1>
聚类工具0