Freeway Traffic Modeling and Control in a First Order Hybrid Petri Net Framework