Got an email back from Nico explaining that my Philosopher and Fork models were indeed incorrect. Changed Fork to be its own model containing a mutex lock (because it's a shared resource, dope)