A Freeway Traffic Model in a First Order Hybrid Petri Net Framework