Faithfull, A.; Perrone, G.; Hildebrandt, T. Big Red: A Development Environment for Bigraphs. ECEASST 2013, 61.