A comparison of relay ladder logic programming and Petri net approach for sequential industrial control systems | IEEE Conference Publication | IEEE Xplore