Petri nets based on Lawvere theories

Jade Master. Petri nets based on Lawvere theories. Mathematical Structures in Computer Science, 30(7):833-864, 2020. [doi]

Abstract

Abstract is missing.