1 paper
Elena Di Lavore, Wilmer Leal, Valeria de Paiva
The categorical modeling of Petri nets has received much attention recently. The Dialectica construction has also had its fair share of attention. We revisit the use of the Dialect…