Petri Nets Are Monoids 🕑 2020-09-27T15:11:40+00:00; via news.ycombinator.com; try the Wayback Machine | edit