de.cau.cs.kieler.sj.exceptions
Exceptions 
CausalityException
CurTickAlreadyDoneException
CurTickNotDoneException
NoPreSignalException
PriorityException
ProgramAlreadyTerminatedException
SignalAlreadyDeclaredException
SignalNotDeclaredException
ThreadException