Skip to main content

Table 1 Variables and meaning

From: MATF: a multi-attribute trust framework for MANETs

Variables Meanings
P A finite set of nodes, called Places
T Set of transitions, that is, PT=
F A set of directed edges called arcs, known as the flow relation, that is, F(P×T)(T×P)
φ A mapping function used to map P to data types
R A transition rule mapping T to predicate logic formula, that is, R :T →Formula
L A label mapping F to labels, that is, L :F →Label
M 0 An initial marking of places with tokens, that is, M :P →Tokens