model the behavior of the cruise controller with a petri net

Posted Date: