{"id":23145806,"url":"https://github.com/firestone82/petrisemaphore","last_synced_at":"2025-06-26T08:32:45.905Z","repository":{"id":266558449,"uuid":"898142771","full_name":"Firestone82/PetriSemaphore","owner":"Firestone82","description":"VŠB-TUO - School project in PES. Semaphore network designed in Petri Net","archived":false,"fork":false,"pushed_at":"2024-12-13T16:13:57.000Z","size":3899,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"master","last_synced_at":"2025-04-04T12:52:02.004Z","etag":null,"topics":["latex","petri-net","semaphore"],"latest_commit_sha":null,"homepage":"","language":"TeX","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/Firestone82.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2024-12-03T21:35:46.000Z","updated_at":"2024-12-13T16:14:00.000Z","dependencies_parsed_at":"2025-04-04T12:45:43.483Z","dependency_job_id":"0a58a2fc-4579-4ce4-90f8-cf91464b71e0","html_url":"https://github.com/Firestone82/PetriSemaphore","commit_stats":null,"previous_names":["firestone82/petrisemaphore"],"tags_count":1,"template":false,"template_full_name":null,"purl":"pkg:github/Firestone82/PetriSemaphore","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Firestone82%2FPetriSemaphore","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Firestone82%2FPetriSemaphore/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Firestone82%2FPetriSemaphore/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Firestone82%2FPetriSemaphore/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/Firestone82","download_url":"https://codeload.github.com/Firestone82/PetriSemaphore/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Firestone82%2FPetriSemaphore/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":262030205,"owners_count":23247612,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["latex","petri-net","semaphore"],"created_at":"2024-12-17T16:16:22.115Z","updated_at":"2025-06-26T08:32:45.899Z","avatar_url":"https://github.com/Firestone82.png","language":"TeX","funding_links":[],"categories":[],"sub_categories":[],"readme":"\u003cimg width=\"20%\" src=\"assets/icon-no-bg.png\" align=\"right\" alt=\"Project Icon\"\u003e\n\n# Project for PES: Semaphore Network Modeled in Petri Net\n- Author: Pavel Mikula (MIK0486)  \n- Estimated Time Spent: ~26 hours\n\n## Project Overview\nThis project models a **traffic light system for an intersection** using a Petri Net. The system captures:\n- **Traffic signal states** for two directions: **north-south (NS)** and **east-west (EW)**.\n- **Vehicle queues** at the intersection for both directions.\n\nThe simulation transitions through different states, representing:\n- Changes in traffic light colors.\n- Vehicle movements through the intersection.\n\nSafety synchronization mechanisms are implemented to **prevent vehicle collisions**, ensuring a safe and efficient traffic flow between the two directions.\n\n## Usage\nTo explore and simulate the model:\n1. Open the [Petri Net Editor](https://pes.vsb.cz/petrineteditor/#/model).\n2. Import the `.npn` file located in the `assets/net` folder of this repository.\n\nThe model is **preconfigured for simulation**, allowing you to:\n- Observe the system's behavior.\n- Test various traffic scenarios directly in the editor.\n\n## Release Information\nA fully exported description of this network is available in the **Release** section of this repository.\n\n## Showcase\n![Network Diagram](assets/pes_network.png)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ffirestone82%2Fpetrisemaphore","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ffirestone82%2Fpetrisemaphore","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ffirestone82%2Fpetrisemaphore/lists"}