Here we change the job to instead draw the state space graph. We modify the model to only contain two philosophers and play a bit with the resulting graph, including exporting it in DOT and GraphML format.
Graph Drawing and Export
![](https://westergaard.eu/wp-content/uploads/2018/03/Graph-Drawing-and-Export-600x428.jpeg)
Here we change the job to instead draw the state space graph. We modify the model to only contain two philosophers and play a bit with the resulting graph, including exporting it in DOT and GraphML format.