<?xml version='1.0' encoding='ISO-8859-1'  ?>
<!DOCTYPE toc
PUBLIC "-//Sun Microsystems Inc.//DTD JavaHelp TOC Version 2.0//EN"
"../dtd/toc_2_0.dtd">
<toc version="2.0">

<tocitem image="img.toplevelfolder" target="index_eng" text="Help for PNTool2.1">

    <tocitem text="1. What is PNTool2.1 and what can you do with this application?" target="index_eng"/>

    <tocitem text="2. Creating and editing projects" target="edit_eng" expand="true">
        <tocitem text="2.1 - Addig places" target="edit.places_eng"/>
        <tocitem text="2.2 - Adding transitions" target="edit.transitions_eng"/>
        <tocitem text="2.3 - Adding edges" target="edit.edges_eng"/>
        <tocitem text="2.4 - Removing components" target="edit.remove_eng"/>
    </tocitem>

    <tocitem text="3. Simulation in PNTools2.1" target="simulation_eng"/>

    <tocitem text="4. What is module and how to run it?" target="modules_eng"/>

    <tocitem text="5. Available modules" target="" expand="true">
        <tocitem text="5.1 - Export to PNML" target="pnexport_eng" />
        <tocitem text="5.2 - Export to CPN" target="pnCPNexport_eng" />
        <tocitem text="5.3 - Import from PNML" target="pnimport_eng" />
        <tocitem text="5.4 - Invariants analysis module" target="iam_eng" />
        <tocitem text="5.5 - POST table generator" target="post_eng" />
        <tocitem text="5.6 - PRE table generator" target="pre_eng" />
        <tocitem text="5.7 - Reachability analysis module" target="ram_eng" />
        <tocitem text="5.8 - PN to B-AMN conversion" target="bamn_eng" />
    </tocitem>

</tocitem>
</toc>