G. Bilsen-;-m, . Engels-;-r, ;. J. Lauwereins, and . Peperstraete, Cycle-static dataflow, IEEE Transactions on Signal Processing, vol.44, issue.2, pp.397-408, 1996.
DOI : 10.1109/78.485935

J. T. Buck-;-e and . Lee, Scheduling dynamic dataflow graphs with bounded memory using the token flow model, IEEE International Conference on Acoustics Speech and Signal Processing, pp.429-432, 1993.
DOI : 10.1109/ICASSP.1993.319147

B. Bhattacharya and S. S. Bhattacharyya, Parameterized dataflow modeling for DSP systems, IEEE Transactions on Signal Processing, vol.49, issue.10, pp.2408-2421, 2001.
DOI : 10.1109/78.950795
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.9370

E. G. Lee-;-d and . Messerschmitt, Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing, Computers, IEEE Transactions, vol.36, issue.1, pp.24-35, 1987.

J. Rocha, L. Gomes, and O. Dias, Petri net verification techniques on Synchronous Dataflow models, IECON 2011, 37th Annual Conference of the IEEE Industrial Electronics Society, pp.3792-3797, 2011.
DOI : 10.1109/IECON.2011.6119927

J. Dias and ;. L. Gomes, Exploiting Dataflows and Petri Nets Mappings, 11th IEEE International Conference on, pp.590-595, 2013.

K. Gary and . Yeap, Practical Low Power Digital VLSI Design, 1997.

C. Giraud and R. Valk, Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications, 2003.

T. Murata, Petri nets: Properties, analysis and applications, Proceedings of the IEEE, pp.541-580, 1989.
DOI : 10.1109/5.24143

J. L. Peterson, Petri Net Theory and the Modeling of Systems, 1981.

G. Kahn, The Semantic of a Simple Language for Parallel Programming, Proc. of the IFfP Congress, 1974.

J. Dennis, First version of a data flow procedure language, Lecture Notes in Computer Science, vol.19, pp.362-376, 1974.
DOI : 10.1007/3-540-06859-7_145

E. A. Lee and D. G. Messerschmitt, Synchronous data flow, Proceedings of the IEEE, pp.1235-1245, 1987.
DOI : 10.1109/PROC.1987.13876

J. Rocha, L. Gomes, and O. P. Dias, Dataflow model property verification using Petri net translation techniques, 2011 9th IEEE International Conference on Industrial Informatics, pp.2011-2020, 1109.
DOI : 10.1109/INDIN.2011.6034993

J. Rocha, L. Gomes, and O. P. Dias, Analysing Storage Resources on Synchronous Dataflows using Petri Net Verification Techniques " ; in IECON'2012 ? The 38th Annual Conference of the, 2012.

M. C. Boukala and L. Petrucci, Towards distributed verification of petri nets properties, Proceedings of the First international conference on Verification and Evaluation of Computer and Communication Systems (VECoS'07), pp.13-24, 2007.