Published February 20, 2020
| Version fi-2022
Software
Open
ostrich
Description
Tool ostrich: submitted alongside "Computing Parameterized Invariants of Parameterized Petri nets" to Fundamenta Informaticae.
Files
ostrich.zip
Files
(86.3 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:8658f3b947897cc655dc27cbd162c8d4
|
86.3 kB | Preview Download |
Additional details
Related works
- Is documented by
- Preprint: arXiv:2002.07672 (arXiv)