Adaptive Intersection Traffic Light

Implementated with Hierarchical Timed Petri Nets as the Backbone