Reactive Systems over Directed Bigraphs