PetriNetModeler - STTT Paper

PetriNetModeler - STTT Paper

PetriNetModeler project containing exactly those features as used in the STTT article (aka "Cinco primer"). The project might undergo minor changes to adapt to syntax changs in Cinco's specification languages.

Name
Last commit
Last update
info.scce.cinco.product.petrinetpaper Loading commit data...
README.md Loading commit data...
make-download-package.sh Loading commit data...