https://github.com/firestone82/petrisemaphore
VŠB-TUO - School project in PES. Semaphore network designed in Petri Net
https://github.com/firestone82/petrisemaphore
latex petri-net semaphore
Last synced: about 1 year ago
JSON representation
VŠB-TUO - School project in PES. Semaphore network designed in Petri Net
- Host: GitHub
- URL: https://github.com/firestone82/petrisemaphore
- Owner: Firestone82
- Created: 2024-12-03T21:35:46.000Z (over 1 year ago)
- Default Branch: master
- Last Pushed: 2024-12-13T16:13:57.000Z (over 1 year ago)
- Last Synced: 2025-04-04T12:52:02.004Z (over 1 year ago)
- Topics: latex, petri-net, semaphore
- Language: TeX
- Homepage:
- Size: 3.72 MB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Project for PES: Semaphore Network Modeled in Petri Net
- Author: Pavel Mikula (MIK0486)
- Estimated Time Spent: ~26 hours
## Project Overview
This project models a **traffic light system for an intersection** using a Petri Net. The system captures:
- **Traffic signal states** for two directions: **north-south (NS)** and **east-west (EW)**.
- **Vehicle queues** at the intersection for both directions.
The simulation transitions through different states, representing:
- Changes in traffic light colors.
- Vehicle movements through the intersection.
Safety synchronization mechanisms are implemented to **prevent vehicle collisions**, ensuring a safe and efficient traffic flow between the two directions.
## Usage
To explore and simulate the model:
1. Open the [Petri Net Editor](https://pes.vsb.cz/petrineteditor/#/model).
2. Import the `.npn` file located in the `assets/net` folder of this repository.
The model is **preconfigured for simulation**, allowing you to:
- Observe the system's behavior.
- Test various traffic scenarios directly in the editor.
## Release Information
A fully exported description of this network is available in the **Release** section of this repository.
## Showcase
