Synthesis of Petri net controller based local incidence matrix | IEEE Conference Publication | IEEE Xplore