A review of synthesis techniques for Petri nets with applications to automated manufacturing systems | IEEE Journals & Magazine | IEEE Xplore