咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 1 篇 会议

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

主题

  • 1 篇 educational inst...
  • 1 篇 laboratories
  • 1 篇 petri nets
  • 1 篇 analytical model...
  • 1 篇 firing
  • 1 篇 system recovery
  • 1 篇 mathematical mod...

机构

  • 1 篇 key laboratory o...
  • 1 篇 key laboratory o...

作者

  • 1 篇 yu wang
  • 1 篇 zhi jun ding

语言

  • 1 篇 英文
检索条件"机构=Key Laboratory of Embedded ystem nd Service Computing"
共 1 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
Analysis for one-place unbounded Petri nets based on modified reachability trees
Analysis for one-place unbounded Petri nets based on modifie...
收藏
分享
引用
IEEE International Conference on Networking, Sensing and Control
作者： Yu Wang Zhi Jun Ding Key Laboratory of Embedded System and Service Computing Ministry of Education University of Tongji Shanghai China Key Laboratory of Embedded ystem nd Service Computing Ministry of Education University of Tongji Shanghai China
Analysis approaches of reachability decision is fundamental to Petri nets theory; however, the relevant research work in the past cannot always guarantee the correctness of analysis conclusions. This paper firstly rev... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件