IOPT-Tools

Overview

Entry last updated: 2015/4/8
Entry last validated: 2015/4/8

Tool homepage: http://gres.uninova.pt/IOPT-Tools/

Tool availability: Free of charge

Tool Features

Petri Nets Supported (see also help on terminology)

Place/Transition Nets

Components (see also help on terminology)

Graphical Editor
Token Game Animation
Fast Simulation
State Spaces
Interchange File Format
Rapid Prototyping
C and VHDL code generation

Environments

PC, Linux
PC, MS Windows 2000
PC, MS Windows XP
Macintosh, Mac OS
Macintosh, Mac OS X
Web browser

Tool Description

The IOPT-Tools is a cloud-based tool-chain offering a complete set of Petri net tools with a web interface supporting digital embedded controllers development. IOPT-nets (Input-Output Place-Transition Petri nets) are used as underlying Petri net class, supporting input and output signals and events, considering a maximal step and single server semantics, using a cycle accurate execution. The tools include an interactive graphical Petri net editor, a simulator, a model-checking subsystem composed of a state-space generator, state-space visualization and a query system, and automatic code generation tools that produce software C code or VHDL hardware descriptions ready to be deployed into implementation platforms. All interactive tools are executed directly in the user's Web Browser using AJAX principles, but file-storage and intensive processing operations are processed in the server, enabling the use of lightweight terminal equipment to access the tools, as simple as smart-phones or tablet computers.

Contact Information

Luis Gomes
Univ. Nova Lisboa / UNINOVA
Campus de Caparica - FCT-DEE
2829-516 Monte de Caparica
Portugal

Phone:  +351-212948336
Fax:    +351-212948532
E-mail: gres@uninova.pt

Other Remarks

The maintainers of this page