Index of /pub/cran/src/contrib/00Archive/petrinetR

      Name                             Last modified      Size  
      Parent Directory                                      -   
      petrinetR_0.2.0.tar.gz           2018-07-03 18:50  9.6K  
      petrinetR_0.1.0.tar.gz           2016-08-18 14:38  5.9K