Verifying the Produce of Car-Bind through Timed Petri Net | IEEE Conference Publication | IEEE Xplore