Tutorials — PetriFlow

Build a File Safety Agent

The agent must back up before deleting and can never use rm.

Sequencing
Permanent blocking
Deferred transitions
Free tools

require backup before delete block rm

Build a Deployment Agent

A full CI/CD pipeline the agent cannot skip. Lint, test, approval, deploy.

Chained dependencies
Human approval gates
Session rate limits
Pipeline resets

require lint before test require test before deploy require human-approval before deploy limit deploy to 2 per session

Build a Discord Bot

One tool, multiple actions, each gated independently.

Dot notation tool mapping
Action-dispatch tools
Cycling dependencies
Composing limits with sequencing

require discord.readMessages before discord.sendMessage limit discord.sendMessage to 5 per session

Build a DevOps Assistant

One agent, five domains, ten rules. Everything composes.

Cross-domain composition
Independent verification
Free tools
Production-scale safety

require slack.readMessages before slack.sendMessage require lint before test require human-approval before deploy block rm

Beyond Rules: Workflow Safety

A deployment pipeline with resource tokens, branching, and verified mutual exclusion.

Resource tokens
Mutual exclusion
Workflow branching
Formal verification

# Not rules — a hand-crafted Petri net [idle:1] → build → [building] → test → stage → canary → promote | rollback → [idle]