-
Coffee Shop Model
Resource modeling with Petri nets—capacity limits, weighted arcs, and continuous flow rates predict when you'll run out of beans.
-
Sudoku Petri-Net Model
Modeling Sudoku as a Petri net with ODE simulation—constraint satisfaction through token flow.
-
Declarative Differential Models (DDM)
A modeling approach where system behavior is described declaratively and encoded directly in differential equations.
-
Knapsack Model
Using Declarative Differential Models (DDM) to explore the knapsack problem with Petri nets and ODEs.