2020/03/08 by Valeria de Paiva, de Paiva, Valeria, Apostolos Syropoulos +1
Business, Management and Accounting · Computer Science · #Business Process Modeling and Analysis #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Petri Nets in System Modeling
paper · pdf · doi:10.48550/arxiv.2003.04712
openalex publication_date 2020/03/08 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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 with multiplicities, instead of \em elementary nets (i.e., nets with multiplicities zero and one only) were considered. In this note we expand this modelling to deal with \em fuzzy petri nets. The basic idea is to use as the dualizing object in the Dialectica categories construction, the unit interval that has all the properties of a \em lineale structure.