GitHub repository: Gyrotank/CpnUnitTransformer
Primary language: Java
Created: 2017-04-30T19:17:07Z
Description: CpnToUnit utility for automated translation of Colored Petri Nets with qualitative tokens into Colored Petri Nets with quantitative tokens.