🏷️ neural-networks

Tropical Petri Nets

Timed event graphs are max-plus linear and ReLU networks are tropical rational, so the two meet over the tropical semiring. This post covers what those two theorems give us, what pflow-tropical checks in code, and how far the Petri-net/neural-net analogy has actually been earned.