Module fr.inria.MochyCore
Package fr.inria.mochy.core.equalization
equalization : a package of nets/physical models where the net is a loop and the regulation aim to get to an equal distance between each of the successive tokens
-
Class Summary Class Description EquNet An EquNet is a Petri-Net which have tokens on a loop with successives transitions and places.EquNetNeural An EqualizationNet EquNetNeural model with transitions, places and their state.EquNetNeuralFix An EqualizationNet EquNetNeural model with transitions, places and their state.EquNetNeuralMov An EqualizationNet EquNetNeural model with transitions, places and their state.EquNetStopsLoic A Net model with transitions, places and their state.EquNetV1Fix this is the first version of Equalization Net with fixed block (1 token per place) V1 : if the previous token is at a stop the timetobrowse calculated is sampled for a token which get into a moving placeEquNetV1Mov this is the first version of Equalization Net with moving block (multiple tokens can be in the same place) V1 : if the previous token is at a stop the timetobrowse calculated is sampledEquNetV2Fix this is the second version of Equalization Net with fixed block (1 token per place) V2 : if the previous speed is 0 to calcul the time for a new token we takes the nominal speed in its next segmentEquNetV2Mov this is the second version ofEqualization Net with moving block (multiple tokens can be in the same place) place) V2 : if the previous speed is 0 to calcul the time for a new token we takes the nominal speed in its next segmentEquNetV3Fix this is the third version ofEqualization Net with fix block (only one token can be in a place) V3 : if the previous speed is 0 to calcul the time for a new token we calculate the speed the token should be if it were in the next placeEquNetV3Mov this is the third version ofEqualization Net with mov block (multiple tokens can be in a place) V3 : if the previous speed is 0 to calcul the time for a new token we calculate the speed the token should be if it were in the next placeEquPlace The EquPlace is a place which can contains multiple tokensEquTransition an EquTransition is a point of control which will define the evolution of a token in the next place, it manages the time a token will stay at the previous placeEquTransitionStopsLoic Marking manage the state of the placesStopsLoicToken Token a token represents a train/metro...