Petri Net Algebra door