https://github.com/ressa-rob/petrinetmc
This repo contains the project files for model checking robotic systems considering environmental constraints.
https://github.com/ressa-rob/petrinetmc
atl csl ctl emf generativeai java python
Last synced: 7 months ago
JSON representation
This repo contains the project files for model checking robotic systems considering environmental constraints.
- Host: GitHub
- URL: https://github.com/ressa-rob/petrinetmc
- Owner: RESSA-ROB
- Created: 2024-11-02T15:03:01.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2024-11-02T15:41:35.000Z (over 1 year ago)
- Last Synced: 2025-04-08T02:52:03.427Z (11 months ago)
- Topics: atl, csl, ctl, emf, generativeai, java, python
- Homepage:
- Size: 1.79 MB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
This project contains all the files for the work “Context based behavioral model checking in robotic Systems”
1. Petri 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.
2. Tool 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.
3. Experiment Data folder contains the experimental result of the said work.
4. CTL Property Mapper Validation folder contains the results for the validation of CTL Mapper module of the framework.