SFC, Petri nets and application specific logic controllers | IEEE Conference Publication | IEEE Xplore