Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
README | 2020-10-27 08:47 | 734 | ||
t2_petri.mg | 2020-10-26 18:55 | 3.6K | ||
t2_petri.p | 2020-10-26 11:34 | 5.3K | ||
t2_petri.pdf | 2020-10-27 07:21 | 75K | ||
t2_petri.pfg | 2020-12-16 16:39 | 3.7K | ||
t2_petri.tex | 2020-10-26 22:04 | 7.6K | ||