D. Gajski, IP-based methodology, Proc. of 36th DAC, 1999.

J. Haubelt, J. Falk, T. Keinert, M. Schlichter, A. Streubühr et al., A SystemC-based design methodology for digital signal processing systems, EURASIP J. Embedded Syst, issue.1, 2007.

K. Ueda, Y. Sakanushi, and M. Takeuchi, Imai Architecture-level Performance Estimation for IP-based Embedded Systems, 2004.

D. Bunday, An Introduction to Queueing Theory, 1996.

M. Zubereck, Timed Petri Nets ? definitions, properties and applications; Microelectronic and Reliability, pp.627-644, 1991.

M. Zurawski and . Zhou, Petri nets and industrial applications: A tutorial, IEEE Transactions on Industrial Electronics, vol.41, issue.6, 1994.
DOI : 10.1109/41.334574

L. Yakovlev, L. Gomes, and . Lavagno, Hardware Design and Petri Nets, 2000.
DOI : 10.1007/978-1-4757-3143-9

T. V. Blume, T. G. Sydow, and . Noll, A Case Study for the Application of Deterministic and Stochastic Petri Nets in the SoC Communication Domain, Journal of VLSI signal processing systems for signal, image and video technology, vol.22, issue.3, 2006.
DOI : 10.1007/s11265-006-7272-4

N. Zhan, G. Sang, and . Xiong, Formal Co-verification for SoC Design with Colored Petri Net, Lecture Notes in Computer Science, 2005.
DOI : 10.1007/11535409_26

E. Maciel and W. Barros, A Petri Net Model for Hardware/Software Codesign, Design Automation for Embedded Systems Journal, 1999.

J. Rust, C. Tacken, and . B¨oke, Pr/T-Net Based Seamless Design of Embedded Real-Time Systems, 2001.
DOI : 10.1007/3-540-45740-2_20

A. Gomes and . Costa, Petri nets as supporting formalism within Embedded Systems Codesign , Industrial Embedded Systems Symposium, 2006.
DOI : 10.1109/ies.2006.357468

A. Petri, Communication with Automatas, PhD Dissertation, 1962.

. Jensen, Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use, Basic Concepts. Monographs in Theoretical Computer Science, 1997.

J. Y. Bourcerie, Algebraically structured colored Petri nets to model sequential processes, IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics), vol.27, issue.4, pp.681-687, 1997.
DOI : 10.1109/3477.604112
URL : https://hal.archives-ouvertes.fr/hal-00843934