Arc |
|
ArcOrderComparator |
|
InhibitorArc |
If there is an arc a with a weight w=W(p,t) connecting a place p with a transition t,
then t can be enabled in a marking m if the following condition is satisfied:
m(p) < w
More info
|
PTArc |
Special arcs that can only lead from Place to Transition (thus PT).
|
QArc |
QArc is a Querydsl query type for Arc
|
QInhibitorArc |
QInhibitorArc is a Querydsl query type for InhibitorArc
|
QPTArc |
QPTArc is a Querydsl query type for PTArc
|
QReadArc |
QReadArc is a Querydsl query type for ReadArc
|
QResetArc |
QResetArc is a Querydsl query type for ResetArc
|
ReadArc |
If there is an arc a with a weight w=W(p,t) connecting a place p with a transition t,
then t can be enabled in a marking m if the following condition is satisfied:
m(p) ≥ w
More info
|
ResetArc |
Reset arc does not alter the enabling condition, but involve a change of the marking on p by firing of t:
m'(p) = 0, if p is not also a postplace of t
m'(p) = W(t,p), if p is also a postplace of t
More info
|