Skip to content

albertovalerio/petri-nets-tool-reactjs

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

5 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

petri-nets-tool-reactjs

A simple Petri Net tool for educational purpose built with ReactJS.

Demo

Features

  • Graphical editor
  • Behavioral analysis
  • Structural analysis

Properties analizable:

  • Reachability
  • Boundedness
  • Liveness
  • Reversibility
  • Incidence matrix
  • T-invariants
  • S-invariants
  • Siphons & Traps

System Requirements

  • NODE.JS (tested on v14.19.3)
  • NPM (tested on v6.14.17)

Installation

git clone git@github.com:albertovalerio/petri-nets-tool-reactjs.git
cd /petri-nets-tool-reactjs
npm install
npm start

Contact

My name is Alberto G. Valerio and this project has been realized by me as university laboratory activity for the exam in Formal Methods for Computer Science, Master Degree in Computer Science, curriculum studies in Artificial Intelligence at University of Bari "Aldo Moro", Italy.

My email - [email protected]

My website: https://albertovalerio.com

Acknowledgments

License

Distributed under the MIT License. See LICENSE.txt for more information.