An approach to the Analysis of Dataflow Networks by LOTOS