Synet

MaRDI QIDQ29930swMATHFDO

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

Cited in

(9)

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

This page was built for software: Synet