Rules for Siphon Extraction/Minimisation
20/3/2014
CE-653 - PTnet Theory and some
Algorithms
27
}Definition [PTnet Reduction
Function RED]
}Let G = (P, T, F) be a
PTnet and ~P ≤ P.
}The reduction function
RED is defined as follows:
}~G = red(G, ~P), where the
reduced net ~G = (~P, ~T, ~F) is
defined by:
defined by:
}~T = {t in T | (•t U t•) ∩ ~P ≠Ø}
}~F(p, t) = F(p, t), ~F(t,
p) = F(t, p), forall p in ~P, t in ~T
}Rule 1 [place subset reduction]
}Let G = (P, T, F) be
PTnet and ~P ≤ P
}Set of siphons of G
contained in ~P is the same as
siphons of reduced net ~G = red(G, ~P)
siphons of reduced net ~G = red(G, ~P)