D. Grohmann and M. Miculan, “Controlling resource access in Directed Bigraphs”, ECEASST, vol. 10, Jul. 2008.