https://github.com/francoriba/petrinets-case-of-application

Final project for concurrent programming subject at @FCEFyN, UNC, Argentina.
https://github.com/francoriba/petrinets-case-of-application

concurrency invariants multithreading petri-nets time-analysis

Last synced: 28 days ago
JSON representation

Final project for concurrent programming subject at @FCEFyN, UNC, Argentina.

• Host: GitHub
• URL: https://github.com/francoriba/petrinets-case-of-application
• Owner: francoriba
• Created: 2024-04-27T12:48:28.000Z (6 months ago)
• Default Branch: main
• Last Pushed: 2024-04-27T14:22:14.000Z (6 months ago)
• Last Synced: 2024-04-28T14:13:32.911Z (6 months ago)
• Topics: concurrency, invariants, multithreading, petri-nets, time-analysis
• Language: Java
• Homepage:
• Size: 1.83 MB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Petri Nets - Case of application

Final project for concurrent programming subject at @FCEFyN, UNC, Argentina. 

* ```/img```: here you'll find class and sequence diagramas. 

* ```/java_project```: here you'll find all source files for running the java project.

* ```/PIPE4.3.0_files```: here you'll find all the .xml files to run with [PIPE](https://sourceforge.net/projects/pipe2/)

* ```/python_script```: here you'll find a simple Python script to validate the correctness of the transitions shot sequence obtained as a result of the execution of the Java project.

This was a collaborative work. Here you can find the [original repo](https://github.com/camilacareggio/petri-net-concurrente) with the complete commits and PR's history.