FSM

MaRDI QIDQ38179swMATHFDO

Official website https://www3.cs.stonybrook.edu/~algorith/implement/fsm/implement.shtml

Cited in

(4)

• Automating the conversion of colored Petri nets with qualitative tokens into colored Petri nets with quantitative tokens
• The design principles of a weighted finite-state transducer library
• ProM
• CpnToUnit

This page was built for software: FSM