Trivedi-Petri-39

Prévia do material em texto

39 
Enabling Functions 
An enabling function (or guard) is a boolean expression 
composed with the PN primitives (places, trans, tokens). 
The enabling rule is modified in the sense that beside the 
standard conditions, the enabling function must evaluate 
to true. 
tk 
pi 
pj 
(tk) = #P1<2 & #P2=0