GitHub - tre-flip/reach: Very simple reachability tree printer for Petri nets · GitHub

Repository navigation

reach

Public

About

Very simple reachability tree printer for Petri nets

0 stars

1 watching

Report repository

Name		Name	Last commit message	Last commit date
README.org		README.org
package.lisp		package.lisp
reach.asd		reach.asd
reach.lisp		reach.lisp

Repository files navigation

Reach is a package for Petri net reachability tree visualisation.

About

Very simple reachability tree printer for Petri nets

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages