Tag
This blog post describes a web-based music sequencer that uses Petri nets instead of a traditional timeline, generating full tracks from genre presets and seeds using tokens moving through nets. It covers the technical details, including control nets and countdown timers to manage song structure.
This paper models the Resource-Constrained Project Scheduling Problem as optimal search over a Petri net reachability graph and solves it with A* guided by a consistent heuristic combining critical path and resource lower bounds, outperforming MIP baselines on PSPLIB benchmarks.