DeepAI AI Chat
Log In Sign Up

Dialectica Fuzzy Petri Nets

by   Valeria de Paiva, et al.

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 elementary nets (i.e., nets with multiplicities zero and one only) were considered. In this note we expand this modelling to deal with 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 lineale structure.


page 1

page 2

page 3

page 4


A Categorical Semantics for Guarded Petri Nets

We build on the correspondence between Petri nets and frees ymmetric str...

Computational Petri Nets: Adjunctions Considered Harmful

We review some of the endeavors in trying to connect Petri nets with fre...

Beyond Bags of Words: Inferring Systemic Nets

Textual analytics based on representations of documents as bags of words...

A State Class Construction for Computing the Intersection of Time Petri Nets Languages

We propose a new method for computing the language intersection of two T...

PullupStructs: Digital Fabrication for Folding Structures via Pull-up Nets

In this paper, we introduce a method to rapidly create 3D geometries by ...

A Fuzzy Petri Nets Model for Computing With Words

Motivated by Zadeh's paradigm of computing with words rather than number...

Commitment Nets in Software Process Improvement

Several studies have revealed the fact that nearly two-thirds of all sof...