Modular algebraic nets to specify concurrent systems