<?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_sk" text="Pomocník pre PNTool2.1">

       <tocitem text="1. &#268;o je PNTool2.1 a na &#269;o ho mô&#382;ete pou&#382;i&#357;?" target="index_sk"/>

       <tocitem text="2. Vytváranie a editovanie projektov" target="edit_sk" expand="true">
           <tocitem text="2.1 - Pridávanie miest" target="edit.places_sk"/>
           <tocitem text="2.2 - Pridávanie prechodov" target="edit.transitions_sk"/>
           <tocitem text="2.3 - Pridávanie hran" target="edit.edges_sk"/>
           <tocitem text="2.4 - Odstránenie komponentov" target="edit.remove_sk"/>
       </tocitem>

       <tocitem text="3. Simulácia v PNTools2.1" target="simulation_sk"/>

       <tocitem text="4. &#268;o sú moduly a ako ich spusti&#357;?" target="modules_sk"/>

       <tocitem text="5. Dostupné moduly" target="" expand="true">
        <tocitem text="5.1 - Export do PNML" target="pnexport_sk" />
        <tocitem text="5.2 - Export do CPN" target="pnCPNexport_sk" />
        <tocitem text="5.3 - Import z PNML" target="pnimport_sk" />
        <tocitem text="5.4 - Modul na anal&#253;zu invariantov" target="iam_sk" />
        <tocitem text="5.5 - Generátor POST tabu&#318;ky" target="post_sk" />
        <tocitem text="5.6 - Generátor PRE tabu&#318;ky" target="pre_sk" />
        <tocitem text="5.7 - Modul na anal&#253;zu dosiahnute&#318;nosti" target="ram_sk" />
        <tocitem text="5.8 - Konverzia z PN do B-AMN" target="bamn_sk" />
    </tocitem>
</tocitem>
</toc>