Class ResetArc
- java.lang.Object
-
- com.netgrif.application.engine.petrinet.domain.Imported
-
- com.netgrif.application.engine.petrinet.domain.PetriNetObject
-
- com.netgrif.application.engine.petrinet.domain.arcs.Arc
-
- com.netgrif.application.engine.petrinet.domain.arcs.PTArc
-
- com.netgrif.application.engine.petrinet.domain.arcs.ResetArc
-
- All Implemented Interfaces:
java.io.Serializable
public class ResetArc extends PTArc
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
- See Also:
- Serialized Form
-
-
Field Summary
-
Fields inherited from class com.netgrif.application.engine.petrinet.domain.arcs.Arc
breakpoints, destination, destinationId, multiplicity, reference, source, sourceId
-
Fields inherited from class com.netgrif.application.engine.petrinet.domain.PetriNetObject
_id
-
-
Constructor Summary
Constructors Constructor Description ResetArc()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description ResetArcclone()voidexecute()Changes 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 tbooleanisExecutable()Always returns true, because Reset arc does not alter the enabling condition.voidrollbackExecution(java.lang.Integer tokensConsumed)-
Methods inherited from class com.netgrif.application.engine.petrinet.domain.arcs.PTArc
setDestination, setSource
-
Methods inherited from class com.netgrif.application.engine.petrinet.domain.arcs.Arc
getDestination, getPlace, getSource, getTransition, toString
-
Methods inherited from class com.netgrif.application.engine.petrinet.domain.PetriNetObject
getObjectId, getStringId, setObjectId
-
Methods inherited from class com.netgrif.application.engine.petrinet.domain.Imported
getImportId, setImportId
-
-
-
-
Method Detail
-
isExecutable
public boolean isExecutable()
Always returns true, because Reset arc does not alter the enabling condition.- Overrides:
isExecutablein classArc- Returns:
- true
-
execute
public void execute()
Changes 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
-
rollbackExecution
public void rollbackExecution(java.lang.Integer tokensConsumed)
- Overrides:
rollbackExecutionin classArc
-
-