DocumentCode
289727
Title
Fuzzy Petri nets and linear logic
Author
Cardoso, Janette ; Valette, Robert ; Pradin-Chezalviel, Brigitte
Author_Institution
LCMI-EEL-UFSC, Florianopolis, Brazil
fYear
1993
fDate
17-20 Oct 1993
Firstpage
258
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ICSMC.1993.384880
Filename
384880
Link To Document