Factory-automation-cell control language based on Petri nets and its application to PC-based controller | IEEE Conference Publication | IEEE Xplore