Title :
Fuzzy Petri nets and linear logic
Author :
Cardoso, Janette ; Valette, Robert ; Pradin-Chezalviel, Brigitte
Author_Institution :
LCMI-EEL-UFSC, Florianopolis, Brazil
Abstract :
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
Keywords :
Petri nets; formal logic; fuzzy logic; fuzzy set theory; additive connectives; disjunctive sets of sequences; fuzzy Petri nets; fuzzy set theory; imprecise firing sequences; imprecise markings; linear logic; Current distribution; Fuzzy logic; Fuzzy sets; Joining processes; Petri nets;
Conference_Titel :
Systems, Man and Cybernetics, 1993. 'Systems Engineering in the Service of Humans', Conference Proceedings., International Conference on
Conference_Location :
Le Touquet
Print_ISBN :
0-7803-0911-1
DOI :
10.1109/ICSMC.1993.384880
