Petri-net based representation and acquisition of knowledge in sequential control systems | IEEE Conference Publication | IEEE Xplore