* installing to library ‘/home/hornik/tmp/R.check/r-patched-gcc/Work/build/Packages’
* installing *source* package ‘petrinetR’ ...
** package ‘petrinetR’ successfully unpacked and MD5 sums checked
** using staged installation
** R
** byte-compile and prepare package for lazy loading
** help
*** installing help indices
  converting help for package ‘petrinetR’
    finding HTML links ... done
    Utils                                   html  
    create_PN                               html  
    create_marked_PN                        html  
    enabled                                 html  
    enabled_transition                      html  
    execute                                 html  
    final_marking                           html  
    flows                                   html  
    initial_marking                         html  
    is_node                                 html  
    is_place                                html  
    is_transition                           html  
    marked_petrinet                         html  
    marking                                 html  
    nodes                                   html  
    parse_trace                             html  
    parsel_trace                            html  
    part_of                                 html  
    petrinet                                html  
    petrinetR                               html  
    places                                  html  
    post_set                                html  
    pre_set                                 html  
    read_PN                                 html  
    render_PN                               html  
    transitions                             html  
    visNetwork_from_PN                      html  
** building package indices
** testing if installed package can be loaded from temporary location
** testing if installed package can be loaded from final location
** testing if installed package keeps a record of temporary installation path
* DONE (petrinetR)