add Petri Nets from elh/petri-tlaplus

tlaplus / Examples

A collection of TLA⁺ specifications of varying complexities

Other

1.29k stars 200 forks source link

add Petri Nets from elh/petri-tlaplus #53

Closed elh closed 2 years ago

elh commented 2 years ago

Modeling Petri nets in TLA+. Specific configurations can be instantiated and checked if they are valid for conventional Petri net safety and liveness properties.

The repo: https://github.com/elh/petri-tlaplus

Been really enjoying learning TLA+ and would love to contribute!