Here are a few of the posts to aggregator sites

- Bitwrap Whitepaper: Solving State Explosion with Petri-Nets and Vector Clocks
- on Hacker News

- Tic-Tac-Toe State Machine Petri-Net
- on r/compsci

- FizzBuzz as a Petri-Net
- on r/compsci

- Constructing a Domain Specific Language with a Petri-Net
- on r/compsci

- Cross-post to r/dddesign - a graph that resembles a Petri-Net but represents Elements of Domain Driven Design
- on r/compsci

- Modeling Computational Complexity of Tic-Tac-Toe using Information Theory and Sets
- on r/compsci

- Describing Tic-Tac-Toe Using Dependent Sum Types (reformulated and reposted w/o some obvious errors)
- on r/compsci