# Architecture principles whose scope is verification

> 1 record

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

## Entries

- [Petri Nets](https://banes-lab.com/records/architecture/petri-nets.md): A conceptual representation of concurrent flow as places holding tokens and transitions that consume and produce them, which can be analyzed for deadlock.