Factory-automation-cell control language based on Petri nets and its application to a real-life system | IEEE Conference Publication | IEEE Xplore