Team s4

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography
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.


previous
next