Module fr.inria.MochyCore
Package fr.inria.mochy.core.mochysim
Perform the simulation of a net model with transitions and places objects.
-
Class Summary Class Description Delay Used for create temporary delays at specific station for a specific durationMarking manage the state of the places : list the marked place e.g.Net A classic Net model with transitions, places and their state.Place A place is set with its name, number and its content : marked or notSim The Sim class allow to control the Net modelTransition A transition is set with its name, its content, its previous/next places, its clock and its state none/enabled/firable.