CpnToUnit

MaRDI QIDQ38178swMATHFDO

Official website https://github.com/Gyrotank/CpnUnitTransformer

Source code repository https://github.com/Gyrotank/CpnUnitTransformer

Cited in

(3)

• Automating the conversion of colored Petri nets with qualitative tokens into colored Petri nets with quantitative tokens
• ProM
• FSM

This page was built for software: CpnToUnit