位置：成果数据库 > 期刊 > 期刊详情页
A Technique for Reachability Graph Generation for the Petri Net Models of Parallel Processes
  • 期刊名称：International Journal of Computer Science and Engi
  • 时间：0
  • 页码：57-61
  • 语言：英文
  • 相关项目：大规模车间调度系统设计、优化与应用
作者： Farooq Ahmad （博士生）|Hejiao Huang|Xiaolong Wang|
同期刊论文项目
大规模车间调度系统设计、优化与应用
期刊论文 12 会议论文 11 著作 1
同项目期刊论文
Channel assignment using block design in wireless mesh networks
Analysis of Parallel Manufacturing Processes with Resource Sharing
Solving a Multi-objective Flexible Job Shop Scheduling Problem with Timed Petri Nets and Genetic Alg
Petri net modeling and deadlock analysis of parallel manufacturing processes with shared-resources
Formal Specification and Verification of Modular Security Policy Based on Colored Petri Nets
Analysis of structure properties of petri nets using transition vectors
Component-based Design and Optimization for Job-shop Scheduling Systems
Design and Verification of Enhanced Secure Localization Scheme in Wireless Sensor Networks
Secure and Efficient Localization Scheme in Ultra-Wideband Sensor Networks