Thanks @Prabakar Ammeappin​ I actually had followed that article and have this in my first cell in the notebook:

%sh

#sudo apt-get install -y python3-dev graphviz libgraphviz-dev pkg-config

and then this in the next cell:

%pip install pm4py

%pip install pygraphviz

So I think it's installed but no luck 😞