CpnToUnit

swMATH26447MaRDI QIDQ38178FDOQ38178

Author name not available (Why is that?)

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