Team s4

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities
Inria / Raweb 2003
Project: s4

Project : s4

Section: Software

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.