https://github.com/mrvideo/lampta

A simple lamp and button NTA made with UPPAAL
https://github.com/mrvideo/lampta

network-timed-automata timed-automata uppaal

Last synced: about 2 months ago
JSON representation

A simple lamp and button NTA made with UPPAAL

• Host: GitHub
• URL: https://github.com/mrvideo/lampta
• Owner: MrVideo
• License: unlicense
• Created: 2024-05-17T15:06:31.000Z (8 months ago)
• Default Branch: main
• Last Pushed: 2024-05-17T15:24:12.000Z (8 months ago)
• Last Synced: 2024-05-17T16:37:57.611Z (8 months ago)
• Topics: network-timed-automata, timed-automata, uppaal
• Language: q
• Homepage:
• Size: 4.88 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Sample Lamp project in UPPAAL

This repository contains a tiny project which aims to model a lamp and its button with a Network of Timed Automata through the [UPPAAL](https://uppaal.org/) tool.

I made this as a reference for myself, but you are free to use the code as you wish.

## Attribution

The model found in this project was taken from [this paper](https://uppaal.org/texts/new-tutorial.pdf), while the traces, simulations and queries were made by me afterwards.