Automated implementation of Petri Nets on PLCs with OOP | IEEE Conference Publication | IEEE Xplore