Scheduling of FMS based on binary decision diagram and Petri net.

Bo Huang Zhicheng Cai MengChu Zhou JianGen Hao

Published in: ICNSC (2018)

Keyphrases

petri net
binary decision diagrams
petri net model
manufacturing systems
web service composition
boolean functions
pseudo boolean constraints
colored petri nets
service composition
stochastic petri net
fuzzy petri net
decision diagrams
ims ld
boolean formula
story generation
knowledge compilation
model checking