Modeling concurrent, mobile and coordinated systems via graph transformations