Scheduling of FMS based on binary decision diagram and Petri net

Bo Huang, Zhicheng Cai, Mengchu Zhou, Jiangen Hao

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations

Abstract

For flexible manufacturing systems (FMSs), this paper presents a symbolic and intelligent approach to obtain optimal schedule paths by combining reduced ordered binary decision diagrams (ROBDDs) and intelligent search techniques based on the Petri net (PN) models. First, FMSs are modeled via place-timed PNs which contain processing time information on activity places. Then, a ROBDD technique is given to represent the evolution of such nets and the A∗ search on their reachability graphs. ROBDDs can represent large sets of data with compact shared structures and allow the efficient computation on those sets. Thus, the proposed approach is efficient in finding scheduling paths for FMSs.

Original languageEnglish (US)
Title of host publicationICNSC 2018 - 15th IEEE International Conference on Networking, Sensing and Control
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages1-6
Number of pages6
ISBN (Electronic)9781538650530
DOIs
StatePublished - May 18 2018
Event15th IEEE International Conference on Networking, Sensing and Control, ICNSC 2018 - Zhuhai, China
Duration: Mar 27 2018Mar 29 2018

Publication series

NameICNSC 2018 - 15th IEEE International Conference on Networking, Sensing and Control

Other

Other15th IEEE International Conference on Networking, Sensing and Control, ICNSC 2018
Country/TerritoryChina
CityZhuhai
Period3/27/183/29/18

All Science Journal Classification (ASJC) codes

  • Instrumentation
  • Artificial Intelligence
  • Computer Networks and Communications
  • Control and Optimization
  • Modeling and Simulation

Fingerprint

Dive into the research topics of 'Scheduling of FMS based on binary decision diagram and Petri net'. Together they form a unique fingerprint.

Cite this