R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

F. Belgacem-ben-hédia, J. Jumel, and . Babau, Formal evaluation of quality of service for data acquisition systems, FDL'05, 2005.

M. Bitam and H. Alla, Modeling of a communication network under TCP/IP protocols using hybrid Petri nets, IFAC Conference on Analysis and Design of Hybrid Systems, 2003.

M. Bitam and H. Alla, Performance evaluation of a TCP/IP transmission using hybrid petri nets, The 3rd ACS/IEEE International Conference onComputer Systems and Applications, 2005., 2005.
DOI : 10.1109/AICCSA.2005.1387048

B. Brahimi, C. Aubrun, and E. Rondeau, Modelling and Simulation of Scheduling Policies Implemented in Ethernet Switch by Using Coloured Petri Nets, 2006 IEEE Conference on Emerging Technologies and Factory Automation, 2006.
DOI : 10.1109/ETFA.2006.355373
URL : https://hal.archives-ouvertes.fr/hal-00101374

G. Cena, I. C. Bertolotti, and A. Valenzano, Experimental analysis of latencies in Ethernet, Proc. WFCS, 2006.

A. Colin and I. Puaut, Worst case execution time analysis for a processor with branch prediction. Real-Time Systems, Special issue on worst-case execution time analysis, pp.249-274, 2000.

R. L. Cruz, A calculus for network delay, IEEE Transactions on Information Theory, vol.37, issue.1, 1991.

R. David and H. Alla, Petri nets for modeling of dynamic systems, Automatica, vol.30, issue.2, pp.175-202, 1994.
DOI : 10.1016/0005-1098(94)90024-8

J. De, F. , and L. Kristensen, Using Coloured Petri Nets to Investigate Behavioural and Performance Issues of TCP Protocols, Second Workshop and Tutorial on Practical Use of Coloured Petri Nets and Design/CPN, 1999.

A. Depari, P. Ferrari, A. Flammini, D. Marioli, and A. Taroni, Multi-probe measurement instrument for real-time ethernet networks, 2006 IEEE International Workshop on Factory Communication Systems, 2006.
DOI : 10.1109/WFCS.2006.1704172

M. Felser, The fieldbus standard: History and structure, Technology Leadership Day, 2002.

P. Ferrari, A. Flammini, D. Marioli, and A. Taroni, Experimental evaluation of PROFINET performance, IEEE International Workshop on Factory Communication Systems, 2004. Proceedings., 2004.
DOI : 10.1109/WFCS.2004.1377739

P. Ferrari, A. Flammini, and S. Vitturi, Performance of PROFINET networks, Computer standards & interfaces, pp.369-494, 2006.

J. Georges, E. Rondeau, and T. Divoux, How to be sure that Ethernet networks will satisfy the real-time requirements ?, Proc. ISIE'2002, IEEE International Symposium on Industrial Electronics, 2002.

J. Greifeneder and G. Frey, Optimizing Quality of Control in Networked Automation Systems using Probabilistic Models, 2006 IEEE Conference on Emerging Technologies and Factory Automation, 2006.
DOI : 10.1109/ETFA.2006.355428

I. Standards, High-level Petri nets ? part 1: Concepts, definitions and graphical notation, pp.15909-15910, 2004.

J. Jasperneite and P. Neumann, Switched Ethernet for factory communication, ETFA 2001. 8th International Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.01TH8597), pp.205-212, 2001.
DOI : 10.1109/ETFA.2001.996370
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.3.9711

J. Jasperneite and P. Neumann, How to guarantee realtime behavior using Ethernet, Proc. 11th IFAC Symposium on Information Control Problems in Manufacturing, 2004.

J. Jasperneite, P. Neumann, M. Theis, and K. Watson, Deterministic real-time communication with switched Ethernet, 4th IEEE International Workshop on Factory Communication Systems, 2002.
DOI : 10.1109/WFCS.2002.1159695
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.6617

K. Jensen, Coloured Petri Nets -Basic Concepts, Analysis Methods and Practical Use, 1992.

K. Jensen, Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use, 1997.

G. Juanole, QUALITY OF SERVICE OF COMMUNICATION NETWORKS AND DISTRIBUTED AUTOMATION: MODELS AND PERFORMANCES, Proc. of 15th Triennial IFAC World Congress, 2002.
DOI : 10.3182/20020721-6-ES-1901.00057

H. Kopetz, Time-triggered real-time computing, Annual Reviews in Control, vol.27, issue.1, pp.3-13, 2003.
DOI : 10.1016/S1367-5788(03)00002-6

S. Kowalewski, N. Bauer, J. Preussig, O. Stursberg, and H. Treseler, An open tool architecture for the formal verification of logic controllers in processing systems, 14th IFAC World Congress, 1999.

S. Kowalewski, S. Engell, J. Preussig, and O. Stursberg, Verification of logic controllers for continuous plants using timed condition/event-system models, Automatica, vol.35, issue.3, pp.505-518, 1999.
DOI : 10.1016/S0005-1098(98)00179-4

J. Krakora and Z. Hanzalek, Timed Automata Approach for CAN Verification, 11th IFAC Symposium on Information Control Problems in Manufacturing , INCOM, 2004.
DOI : 10.1109/wfcs.2004.1377759
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.69.1298

J. , L. Boudec, and P. Thiran, Network Calculus, 2001.

K. Chang, L. , and S. Lee, Performance evaluation of switched Ethernet for real-time industrial communications, Computer standards & interfaces, pp.411-423, 2002.

G. Marsal, B. Denis, and J. Faure, Evaluation des délais de réactivité des architectures de commande distribuées sur réseau Ethernet, Conférence Internationale Francophone d'Automatique, 2006.

G. Marsal, B. Denis, J. Faure, and G. Frey, Evaluation of Response Time in Ethernet-based Automation Systems, 6th IEEE International Workshop on Factory Communication Systems, pp.95-98, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00361045

G. Marsal, B. Denis, J. Faure, and G. Frey, Evaluation of Response Time in Ethernet-based Automation Systems, 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00361045

T. Mertke and G. Frey, Formal verification of PLC programs generated from signal interpreted Petri nets, 2001 IEEE International Conference on Systems, Man and Cybernetics. e-Systems and e-Man for Cybernetics in Cyberspace (Cat.No.01CH37236), pp.2700-2705, 2001.
DOI : 10.1109/ICSMC.2001.972974

P. Meunier, Validation formelle de programmes Ladder Diagram pour Automates Programmables Industriels, Thèse de doctorat, 2006.

R. Milner, M. Tofte, R. Harper, and D. Macqueen, The Definition of Standard ML -Revised, 1997.

D. Miorandi and S. Vitturi, Performance analysis of Producer/Consumer protocols over IEEE802.11 wireless protocols, Proc. WFCS, 2004.

. Modbus-ida, Modbus messaging on TCP/IP implementation guide v1.0a, 2004.

. Modbus-ida, Modbus Serial Line Implementation Guide V1.0, 2002.

J. T. Parrott, J. R. Moyne, and D. M. Tilbury, Experimental determination of network quality of service in Ethernet: UDP, OPC, and VPN, 2006 American Control Conference, 2006.
DOI : 10.1109/ACC.2006.1657491

N. Pereira, E. Tovar, and L. M. Pinho, Timeliness in COTS factoryfloor distributed systems: what role for simulation?, Proc. WFCS, 2004.

G. Poulard, B. Denis, and J. Faure, Modélisation par réseau de Petri coloré des architectures de commande distribuées sur réseau de terrain Ethernet et TCP/IP, 5` eme Conférence francophone de MOdélisation et SIMulation, MOSIM 2004, pp.405-412, 2004.

G. Poulard-marsal, D. Witsch, B. Denis, J. Faure, and G. Frey, Evaluation of Real-Time Capabilities of Ethernet-based Automation Systems using Formal Verification and Simulation, 1` ere Rencontres des Jeunes Chercheurs en Informatique Temps Réel 2005, RJCITR'05, pp.27-30, 2005.

. V. Profibus-nutzerorganisation-e, Profibus web site, 2006.

P. Puschner and C. Koza, Calculating the maximum execution time of real-time programs, Real-Time Systems, vol.20, issue.1, pp.159-176, 1989.
DOI : 10.1007/BF00571421

S. Electric, Transparent Ready, 2006.

A. Seuret, M. Termens-ballester, A. Toguyeni, J. Khattabi, and . Richard, Implementation of an Internet-controlled system under variable delays, 2006 IEEE Conference on Emerging Technologies and Factory Automation, 2006.
DOI : 10.1109/ETFA.2006.355213
URL : https://hal.archives-ouvertes.fr/hal-00385930

Y. Qong and S. , Time constrained communication over switched Ethernet, 4th IFAC International Conference on Fieldbus Systems and their Applications, 2001.

J. Stankovic, Real-Time Computing, BYTE invited paper, pp.155-160, 1992.

J. Thomesse, Fieldbuses and interoperability, Control Engineering Practice, issue.7, pp.81-94, 1999.
URL : https://hal.archives-ouvertes.fr/inria-00098881

K. Tindell, Holistic schedulability analysis for distributed hard real-time systems, Microprocessing and Microprogramming, vol.40, issue.2-3, 1993.
DOI : 10.1016/0165-6074(94)90080-9

E. Tovar and F. Vasques, Distributed computing for the factory-floor: a real-time approach using WorldFIP networks, Computers in Industry, vol.44, issue.1, pp.11-31, 2001.
DOI : 10.1016/S0166-3615(00)00078-6

E. Tovar and F. Vasques, Cycle time properties of the PROFIBUS timed-token protocol, Computer Communications, vol.22, issue.13, pp.1206-1222, 1999.
DOI : 10.1016/S0140-3664(99)00123-1

A. Varga, The OMNeT++ discrete event simulation system, Proceedings of the European Simulation Multiconference, 2001.

N. Vatanski, J. Georges, C. Aubrun, E. Rondeau, and S. Jounela, Control compensation based on upper bound delay in networked control systems, 17th International Symposium on Mathematical Theory of Networks and Systems (MTNS), 2006.
URL : https://hal.archives-ouvertes.fr/hal-00101375

S. Vitturi, Some features of two fieldbuses of the IEC 61158 standard, Computer Standards & Interfaces, vol.22, issue.3, pp.203-218, 2000.
DOI : 10.1016/S0920-5489(00)00032-5

S. Vitturi, On the use of Ethernet at low level of factory communication systems, Computer Standards & Interfaces, vol.23, issue.4, pp.267-77, 2001.
DOI : 10.1016/S0920-5489(01)00082-4

D. Witsch, B. Vogel-heuser, J. Faure, and G. Poulard, Performance analysis of industrial Ehternet networks by means of timed modelchecking, 12th IFAC Symposium on Information Control Problems in Manufacturing , INCOM 2006, pp.101-106, 2006.

A. Dmitry and . Zaitsev, Switched LAN simulation by colored Petri nets, Mathematics and Computers in Simulation, vol.65, issue.3, pp.245-249, 2004.

A. Dmitry and . Zaitsev, An Evaluation of Network Response Time using a Coloured Petri Net Model of Switched LAN, Proceedings of the Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, pp.157-167, 2004.

H. Zimmermann, OSI Reference Model--The ISO Model of Architecture for Open Systems Interconnection, IEEE Transactions on Communications, vol.28, issue.4, pp.425-432, 1980.
DOI : 10.1109/TCOM.1980.1094702