https://flyingsquirrelroar.pages.dev/posts/petri-problem/