This chapter describes the author’s computer program for doing network rewriting calculations, in its capacity as a tool used for scientific exploration — more precisely to systematically discover non-obvious consequences of the axioms for various algebraic structures. In particular this program can cope with algebraic structures, such as bi- and Hopf algebras, that mix classical operations with co-operations.