Petri net based modelling and supervisory control design in Matlab | IEEE Conference Publication | IEEE Xplore