Uses of Class
com.netgrif.application.engine.petrinet.domain.arcs.PTArc
-
Packages that use PTArc Package Description com.netgrif.application.engine.petrinet.domain.arcs -
-
Uses of PTArc in com.netgrif.application.engine.petrinet.domain.arcs
Subclasses of PTArc in com.netgrif.application.engine.petrinet.domain.arcs Modifier and Type Class Description class
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 infoclass
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 infoclass
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 infoConstructor parameters in com.netgrif.application.engine.petrinet.domain.arcs with type arguments of type PTArc Constructor Description QPTArc(com.querydsl.core.types.Path<? extends PTArc> path)
QPTArc(java.lang.Class<? extends PTArc> type, com.querydsl.core.types.PathMetadata metadata, com.querydsl.core.types.dsl.PathInits inits)
-