1 paper
Valeria de Paiva, Apostolos Syropoulos
Brown and Gurr have introduced a model of Petri Nets that is based on de~Paiva's Dialectica categories. This model was refined in an unpublished technical report, where Petri nets…