Verifying the Produce of Car-Bind through Timed Petri Net. - Dong-Liang Lee; Jih-Fu Tu; Hsuan-Jung Lee; Kwang Pi Chen (AINA Workshops, 2012)