Name		Name	Last commit message	Last commit date
modelchecking		modelchecking
synthesis		synthesis
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md

Repository files navigation

Examples for AdamMC and AdamSYNT

A collection of APT-files of Petri nets with transits and Petri games with transits which can be used with AdamMC and AdamSYNT.

About

Contains APT-files of Petri nets with transits and Petri games with transits which can be used with AdamMC and AdamSYNT.

GPL-3.0 license

Custom properties

0 stars

2 watching

Report repository

Releases

Packages

Contributors

Languages