molassar / PN-transition-priority-computer Public

Notifications You must be signed in to change notification settings
Fork 1
Star 0

Utility for computing transition priorities for live Petri nets

0 stars 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 29 Commits
computer		computer
gui		gui
.gitignore		.gitignore
README.md		README.md
heapdumphowto.txt		heapdumphowto.txt
pom.xml		pom.xml
settings.xml		settings.xml

Repository files navigation

Application for computing transition priorities for live Petri nets

Requirements

JDK 1.8
Maven 3+

Build

mvn clean package

Run

java -jar gui/target/tpc.jar

About

Utility for computing transition priorities for live Petri nets

java javafx formal-methods petri-nets

Report repository

Releases

No releases published

Packages

No packages published

Contributors 2

Languages