-
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
A four-item 0/1 knapsack as a Petri net under mass-action ODEs — why every item stops at 71.4%, what exclusion analysis actually ranks, and where the relaxation falls short of branch-and-bound.