# The arch records whose scope is verification

This index as JSON: https://banes-lab.com/json/api/facets/arch/scope/verification

## Entries

- [Petri Nets](https://banes-lab.com/records/arch/petri-nets.md)