Petri Net Algebra by Eike Best, Maciej Koutny & Raymond Devillers