Faithfull, Alexander, Gian Perrone, and Thomas Hildebrandt. 2013. “Big Red: A Development Environment for Bigraphs”. Electronic Communications of the EASST 61 (June). https://doi.org/10.14279/tuj.eceasst.61.835.