Tools under development

Title:
Snoopy IOPT - A Graphical Petri net Editor ( more info... )
Description:
The tool implements a Graphical Petri net Editor for the Input-Output Place-Transition (IOPT) class, supporting hierarchical and modular specifications. PNML representation is also supported.

Title:
Split - Partitioning of an IOPT Petri net ( more info... )
Description:
The tool implements a net splitting operation able to decompose a Petri net model into Petri net sub-models using synchronous communication channels. The generated sub-models are associated with components to be executed concurrently, allowing a distributed execution of the inicial model.

Title:
OPNML2PNML - Composition of nets ( more info... )
Description:
Under construction

Title:
PNML2C - A translator from PNML to C ( more info... )
Description:
Under construction

Title:
PNML2VHDL - A translator from PNML to VHDL ( more info... )
Description:
Under construction

Title:
Animator v.1.0 with executable ( more info... )

Description:
The application presents a development framework allowing the automatic generation of animated synoptic associated with specific embedded system controllers, and allowing the association of the characteristics of its behavioral model with specific characteristics of the graphical user interface through a set of dedicated rules.