Automation process modeling of a electric cars production line through Petri nets and GRAFCET | IEEE Conference Publication | IEEE Xplore