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 Burden of Road Traffic Injuries: A Global Perspective
The Burden of Road Traffic Injuries: A Global Perspective
Introduction Road Traffic Injury (RTI) pose a significant health challenge. It represents the eighth leading cause of death globally, prompting the UN to designate 2011-2020 as...
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...
Introduction to Artificial Intelligence in Traffic Systems
Introduction to Artificial Intelligence in Traffic Systems
Traffic management is a pressing challenge in modern societies. The
population of humans is increasing at a substantial pace, and along with that, the
expanse of urban areas and th...
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...
Harnessing Artificial Intelligence for Road Traffic Surveillance: A Comprehensive Overview of AIbased Statistical Models for Traffic Monitoring and Flow Prediction
Harnessing Artificial Intelligence for Road Traffic Surveillance: A Comprehensive Overview of AIbased Statistical Models for Traffic Monitoring and Flow Prediction
AI-based road traffic surveillance has dramatically changed traffic system
monitoring, analytics, and management. Torn between the inefficiencies of traffic
management techniques a...
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...
Density based traffic monitoring system
Density based traffic monitoring system
The Density Based Traffic Monitoring System through IoT using ResNet is an intelligent framework designed to optimize traffic management and reduce congestion in urban areas throug...