| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| PACKAGES.rds | 477 | 2026-Jul-09 13:40 | |
| petrinetR_0.3.0.tar.gz | 10495 | 2023-Apr-03 22:20 | |
| petrinetR_0.2.1.tar.gz | 9834 | 2019-Mar-08 20:30 | |
| petrinetR_0.2.0.tar.gz | 9804 | 2018-Jul-04 00:50 | |
| petrinetR_0.1.0.tar.gz | 6021 | 2016-Aug-18 20:38 | |