IOPT-tools — A Web based tool framework for embedded systems controller development using Petri nets

The IOPT-tools Web based tool framework supports the implementation of embedded systems controllers using web-based graphical tools, starting with a graphical editor to specify controller's behavior through associated Petri-net model, complemented with model-checking and system verification tools used to debug and automatically check controller behavior correctness (helping in the detection of model flaws during the early design stages), leading to the final controller implementation code amenable to be deployed into specific platforms and using automatic code generation tools creating C code for software solutions or VHDL code for hardware descriptions.