Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Three–Phase Traffic Light Petri Net Model Using The Modified Norwegian System
View through CrossRef
Petri nets can be used to model the behavior of traffic light signals. The Petri net model also makes it possible to provide synchronization of several traffic light phases. The Petri net model can represent the modified Norwegian system signal, which lights up in the sequence green, yellow, red, yellow, and then goes back to green again. The yellow signal flashes twice in each traffic light cycle modified Norwegian system. This study aims to examine the Petri net model of traffic lights with three phases using the modified Norwegian system. Methods for validating and verifying the correctness of the Petri net model used several Place-Invariants, boundedness properties on the Petri net, conservation, coverability trees for various signal conditions, and simulation. Based on the study results, the Place-Invariant and the Petri net properties can represent that the model is correct and feasible. The simulation also presents the correct sequence of modified Norwegian system signals.
Universitas PGRI Adi Buana Surabaya
Title: Three–Phase Traffic Light Petri Net Model Using The Modified Norwegian System
Description:
Petri nets can be used to model the behavior of traffic light signals.
The Petri net model also makes it possible to provide synchronization of several traffic light phases.
The Petri net model can represent the modified Norwegian system signal, which lights up in the sequence green, yellow, red, yellow, and then goes back to green again.
The yellow signal flashes twice in each traffic light cycle modified Norwegian system.
This study aims to examine the Petri net model of traffic lights with three phases using the modified Norwegian system.
Methods for validating and verifying the correctness of the Petri net model used several Place-Invariants, boundedness properties on the Petri net, conservation, coverability trees for various signal conditions, and simulation.
Based on the study results, the Place-Invariant and the Petri net properties can represent that the model is correct and feasible.
The simulation also presents the correct sequence of modified Norwegian system signals.
Related Results
The Structural Complexity of Various Elements of Systems
The Structural Complexity of Various Elements of Systems
This paper is aimed to describe the structural complexity of the traffic light control system. The structural complexity represents an interrelationship indicator between the vario...
Smart Traffic Control Using Computer Vision
Smart Traffic Control Using Computer Vision
A Smart Traffic Control System using Computer Vision utilizes cameras, image processing techniques, and machine learning algorithms to monitor, analyze, and manage traffic flow aut...
Constructing Biological Pathway Models with Hybrid Functional Petri Nets
Constructing Biological Pathway Models with Hybrid Functional Petri Nets
In many research projects on modeling and analyzing biological pathways, the Petri net has been recognized as a promising method for representing biological pathways. From the pion...
TYPES OF AI ALGORİTHMS USED İN TRAFFİC FLOW PREDİCTİON
TYPES OF AI ALGORİTHMS USED İN TRAFFİC FLOW PREDİCTİON
The increasing complexity of urban transportation systems and the growing volume of vehicles have made traffic congestion a persistent challenge in modern cities. Efficient traffic...
Traffic safety outcomes of traffic law application and the adoption of new technology in traffic control
Traffic safety outcomes of traffic law application and the adoption of new technology in traffic control
Experience of the State of Qatar
Introduction:
Since the second half of the last decade of the twentieth century, Qatar has witnessed the
implementation of a comprehensive developm...
MODELİNG OF TRAFFİC LİGHT CONTROL SYSTEMS
MODELİNG OF TRAFFİC LİGHT CONTROL SYSTEMS
Traffic light control systems are commonly utilized to monitor and manage the flow of autos across multiple road intersections. Since traffic jams are ubiquitous in daily life, A c...
Smart Ambulance Traffic Control System
Smart Ambulance Traffic Control System
The traffic lights control system is broadly implemented to track and control the flow of vehicles through the intersection of multiple roads. Nevertheless, the synchronization of ...
Intelligent traffic light via reinforcement learning
Intelligent traffic light via reinforcement learning
People travel with vehicles daily. The traffic light is one of the most critical signals in an intersection to prevent accidents and help all vehicles on all the roads pass the int...