Project : s4
Synet: A general Petri net synthesis tool
Participant : Benoît Caillaud.
Synet is a multivalent toolbox integrating general Petri net synthesis algorithms. The toolbox allows to synthesize Petri nets from finite automata and regular languages. Synthesis from High-Level Message Sequence charts (HMSC) has been implemented recently, yet it has not been integrated in the toolbox. The tool as been distributed to a limited group of academic users in several fields of applications: control and optimization of work-flow systems, control of automated production systems and automatic synthesis of interfaces for software components.