Update P/T formalism generator.
Update P/T net simulator (not tested).
Update Philosophers generator (not tested, in progress).