Fuzzy Petri nets and linear logic
Janétte Cardoso, R. Valette, B. Pradin-Chezalviel · 2002
After a short introduction of a linear logic based representation of Petri nets, the additive connectives are presented as a way of characterizing disjunctive sets of sequences. These connectives are consequently used to represent imprecise firing sequences and it is shown that this notion is consistent with that of imprecise markings. A short example is considered.>