GitHub repository: Gyrotank/CpnTransformer
Primary language: Java
Description: CpnToUnit utility for automated translation of Colored Petri Nets with qualitative tokens into Colored Petri Nets with quantitative tokens. CpnToBdd utility transforms specifically structured colored Petri nets into a set of BDD scenarios written in Given-When-Then terms.