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 …

Perimeter control based on Macroscopic Fundamental Diagram (MFD) aims to meter the
number of transferring vehicles at the periphery of the protected urban region in order to …

The problem of reducing congestion within urban areas by means of a traffic-responsive
control strategy is addressed in this paper. The model of an urban traffic network is …

It is tough to build an effective mathematical model to describe the complicated relationships
in complex mechanical products, which leads to the module partition of complex mechanical …

Petri net is a highly useful tool for modeling of discrete-event systems. However, Petri net
models of real-life systems are enormous, and their state-spaces are usually of infinite size …

This paper presents a novel model framework for complex urban traffic systems based on
the interconnection of a dynamical multi-agent system in a macroscopic level. The agents …

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 …

Most traffic light's control systems in smart cities are wired and have a semi-static behavior.
They are time-based, with pre-configured pattern and expensive cameras. Although traffic …

Petri nets, even though very useful for modeling of discrete event systems, suffer from some
weaknesses such as huge size, huge state space, and slow in simulation. Due to the huge …

P/T Petri nets do not provide any support for modularization. Modular model building with
Petri nets has a short history, starting with works in the late 1990s. This chapter presents an …