Resource implementations for Henshin state spaces.