聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
会议论文 扩展时间戳状态类
出处:第十次全国Petri网学术年会暨形式化方法学术讨论会
摘要:状态类方法是时间Petri进行可达性分析的主要方法.提出扩展时间戳状态类方法,该方法通过扩展变迁的同步使能... 显示全部
关键词: 时间 同步使能变迁 扩展时间戳状态类 状态类方法
找到1条结果
`