位置：成果数据库 > 会议 > 会议详情页
Verification of Petri net models based on transition vectors
  • 所属机构名称：哈尔滨工业大学
  • 会议名称：7th International Conference on Machine Learning and Cybernetics
  • 成果类型：会议
  • 会场：Kunming, PEOPLES R CHINA
  • 相关项目：大规模车间调度系统设计、优化与应用
作者： Ahmad, Farooq|Wang, Xiao-Long|Huang, He-Jiao|
同会议论文项目
大规模车间调度系统设计、优化与应用
期刊论文 12 会议论文 11 著作 1
同项目会议论文
Policy Composition based on Petri Nets
Throughput maximization with traffic profile in wireless mesh network
Deadlock-free Design of JSP with Multi-resource Sharing
Role-based access control for distributed cooperation environment
A Qos Framework with Traffic Request in Wireless Mesh Network
Topology Simplification and Channel Assignment in Multi-radio Wireless Mesh Networks
Deadlock Avoidance of a Kind of JSP with Multi-resources Sharing
Jointing Routing and Channel Assignment Based On Extend Petri Nets
Minimum transmission period in multi-radio wireless mesh networks
A Technique for Generating the Reduced Reachability Graph of Petri Net Models