stackdump stackdump

Time Span: 0 to 10
Initial Step: 0.01
Absolute Tolerance: 0.000001
Relative Tolerance: 0.001

Generics in Petri-Pilot Generated Code

Petri-pilot generates Go code that leverages generics from go-pflow for type-safe event sourcing.

Every generated aggregate uses eventsource.StateMachine[State] for compile-time type safety:

// generated/erc20token/aggregate.go

A template for building deterministic, verifiable systems with parallel Go/JavaScript implementations.

Build complex stateful systems where state is a function of events:

State(t) = fold(apply, initialState, events[0..t])

	# Petri Net Lemmas

	Formal properties of arcnet's Petri net object model.

	## Definitions

	Model = (P, T, A) where:
	- P = set of places
	- T = set of transitions
	- A = set of arcs ⊆ (P × T) ∪ (T × P)