Module fr.inria.MochyCore
Package fr.inria.mochy.core.abstractClass
abstractClass package : used to model the components of the petri-net transport networks (PhysicalModel, PlaceAbstract, TransitionAbstract) and their time constraints (Schedular)
-
Class Summary Class Description PhysicalModel it is the abstraction of mochysim.Net, trajectory.TrajectoryNet, equalization.EquNet...PlaceAbstract defines a place from the petri net in the physicalModel, it is the the abstraction of mochysim.Place, trajectory.TrajPlace, equalization.EquPlace...Schedular It is the abstraction of the TimeTable classTransitionAbstract it defines the abstraction of the transitions of the petri nets models defined by PhysicalModel -
Annotation Types Summary Annotation Type Description LTL