您的位置: 专家智库 > >

陆旻

作品数:1 被引量:0H指数:0
供职机构:华东理工大学信息科学与工程学院计算机科学与工程系更多>>
发文基金:上海市教育委员会创新基金上海市教育发展基金会“曙光计划”项目国家自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇状态图
  • 1篇UML
  • 1篇PETRI网

机构

  • 1篇华东理工大学
  • 1篇上海对外经贸...

作者

  • 1篇虞慧群
  • 1篇杨年华
  • 1篇陆旻

传媒

  • 1篇华东理工大学...

年份

  • 1篇2011
1 条 记 录,以下是 1-1
排序方式:
基于扩展ITCPN的UML状态图建模
2011年
在ITCPN(Interval Timed Colored Petri Nets)模型的基础上引入变迁条件函数和变迁数据操作函数,实现对UML状态图中数据计算的建模;利用抑止弧对迁移的优先级进行建模;同时借助抑止弧实现了对UML状态图中子状态之间"或"语义的建模。
杨年华虞慧群陆旻
关键词:UML状态图PETRI网
共1页<1>
聚类工具0