Urban traffic systems that possess system states that are distributed, parallel, deterministic,
stochastic, discrete, and continuous are well suited for a Petri net (PN) approach. The …

We propose a distributed algorithm for controlling traffic signals. Our algorithm is adapted
from backpressure routing, which has been mainly applied to communication and power …

Subject review Traffic congestions in urban networks could contribute to adverse impact on
the economy, environment and the quality of life. As a result, much research has been …

The increasing complexity of software systems makes Requirements Engineering activities
both more important and more difficult. This article is about user requirements development …

The dynamic behavior of traffic lights regulating a network of intersections can be viewed as
a complex discrete-event system that can be modeled and controlled by Petri nets. In this …

Traffic constitutes a key factor in a city. Thus, city layout, quality of services, pollution,
products delivery, people transportation, and many other activities depend closely on traffic …

This paper uses colored Petri nets (PN) to develop a model of vehicle movement in a city.
The modeler defines the number and location of crossroads, the connections between them …

A smart city is an urban centre that integrates a variety of solutions to improve infrastructure
performance and achieve sustainable urban development. Urban roads are a crucial …

We propose a distributed algorithm for controlling traffic signals, allowing constraints such as
periodic switching sequences of phases and minimum and maximum green time to be …

Pedestrian accident can be derived as a process of a combination from several elementary
events. However, the understanding of the sequence of event in the pedestrian accident …