de.uka.ipd.sdq.scheduler.sensors
Interfaces
IActiveResourceStateSensor
IPassiveResourceSensor
IProcessStateSensor