A model of distributed systems based on graph rewriting