PNTools: a Multi-Language Environment to Integrate Petri Nets Tools

The power of Petri nets resides on the availability of several tools for analysis and verification of properties of systems. Users have to combine the functionality of tools in different applications to take their advantages and overcome their disadvantages in order to solve complex problems that can't be solved using a single tool. This combination is difficult, because each tool has its own Petri net representation format. Most of those tools use an English interface, which penalizes its use by not Anglo-Saxon users. To eliminate these drawbacks, we propose a new multi-languages environment based on a standard file format (PNML file format), that integrates INA and PEP tools.