{"id":18224013,"url":"https://github.com/ressa-rob/petrinetmc","last_synced_at":"2026-05-17T02:05:49.151Z","repository":{"id":260794285,"uuid":"882338036","full_name":"RESSA-ROB/PetriNetMC","owner":"RESSA-ROB","description":"This repo contains the project files for model checking robotic systems considering environmental constraints.","archived":false,"fork":false,"pushed_at":"2024-11-02T15:41:35.000Z","size":1874,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"main","last_synced_at":"2025-10-28T13:39:53.635Z","etag":null,"topics":["atl","csl","ctl","emf","generativeai","java","python"],"latest_commit_sha":null,"homepage":"","language":null,"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/RESSA-ROB.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-11-02T15:03:01.000Z","updated_at":"2024-11-02T15:48:07.000Z","dependencies_parsed_at":"2024-11-02T16:26:27.460Z","dependency_job_id":"f4da0615-2a27-438e-accc-b41a20abb103","html_url":"https://github.com/RESSA-ROB/PetriNetMC","commit_stats":null,"previous_names":["ressa-rob/petrinetmc"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/RESSA-ROB/PetriNetMC","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/RESSA-ROB%2FPetriNetMC","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/RESSA-ROB%2FPetriNetMC/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/RESSA-ROB%2FPetriNetMC/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/RESSA-ROB%2FPetriNetMC/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/RESSA-ROB","download_url":"https://codeload.github.com/RESSA-ROB/PetriNetMC/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/RESSA-ROB%2FPetriNetMC/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":33125184,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-05-16T18:38:32.183Z","status":"online","status_checked_at":"2026-05-17T02:00:05.366Z","response_time":107,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"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":["atl","csl","ctl","emf","generativeai","java","python"],"created_at":"2024-11-04T01:05:49.305Z","updated_at":"2026-05-17T02:05:49.120Z","avatar_url":"https://github.com/RESSA-ROB.png","language":null,"funding_links":[],"categories":[],"sub_categories":[],"readme":"This project contains all the files for the work “Context based behavioral model checking in robotic Systems”\n\n1.\tPetri Net Generation Source code folder consists of the ATL transformer code for creating PNML from a given DSL specification. It requires Eclipse platform and ATL plug in for the project to work.\n2.\tTool Source folder consists of the source code for the corresponding tool framework. It is developed in Python. It requires installation of dependant libraries for the code to work.\n3.\tExperiment Data folder contains the experimental result of the said work.\n4.\tCTL Property Mapper Validation folder contains the results for the validation of CTL Mapper module of the framework.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fressa-rob%2Fpetrinetmc","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fressa-rob%2Fpetrinetmc","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fressa-rob%2Fpetrinetmc/lists"}