Synet

MaRDI QIDQ29930swMATHFDO

Official website http://www.irisa.fr/s4/tools/synet/

Cited in

(9)

• Petri Net Synthesis for Restricted Classes of Nets
• Some Basic Techniques Allowing Petri Net Synthesis: Complexity and Algorithmic Issues
• ProM
• Genet
• Petrify
• dbminer
• APT
• Incremental process discovery
• Synthesis and reengineering of persistent systems

This page was built for software: Synet