# pflow (pflow.xyz)

Draws Petri net models of places, transitions and arcs, simulates them, generates constrained code from them, and produces Groth16 proofs.

- Atlas card: https://inite.ai/en/atlas/pflow.xyz
- Site: https://pflow.xyz
- For: people modelling processes or decisions as Petri nets, drawn or described to an AI assistant
- Use 0/100 · alive 100/100

## Used for

- simulate a cold chain's response to a freezer defrost
- compare sorter headcount against baggage conveyor throughput
- check a ride-share decision by running its spread

## Price

Not read yet.

## For developers

- MCP server: xyz.pflow.sim/whatif (namespace; open on 2026-10-19, 56 tools)
- Read 2026-10-19

## MCP server, measured daily

Server: https://sim.pflow.xyz/mcp, checked every day since 2026-10-19 (16 checks).

- Answered: 100% of daily checks
- Median first answer: 156 ms
- Sign-in: none
- Context its tool definitions take: about 31888 tokens (59 tools)
- Tool definitions: A, 100/100
- Warning "open_writes": sim_create_collection, sim_create_model, sim_create_system, sim_delete_model, sim_publish
- Method: https://inite.ai/en/atlas/mcp/report

## Your data

- Certifications stated: none
- Read 2026-10-19

---

Source: INITE Atlas, https://inite.ai/en/atlas/pflow.xyz. JSON: https://inite.ai/api/atlas/pflow.xyz. MCP: https://inite.ai/api/mcp (atlas_lookup).