]. C. Cassandras08, S. Cassandras, and . Lafortune, Introduction to Discrete Event Systems, 2008.

]. E. Cerami02, X. Cerami, . Soap, and . Wsdl, Web Services Essentials Distributed Applications with, 2002.

]. S. Chachkov01, D. Chachkov, and . Buchs, From formal specifications to ready-to-use software components: the concurrent object oriented Petri net approach, Proceedings Second International Conference on Application of Concurrency to System Design, pp.99-110, 2001.
DOI : 10.1109/CSD.2001.981768

]. J. Cheesman01, J. Cheesman, and . Daniels, UML Components: A Simple Process for Specifying Component-Based Software, 2001.

]. L. Chen08, Z. Chen, G. Shao, X. Fan, and . Wang, Modeling and Analyzing Distributed Real-time and Embedded Systems with High-Level Petri Nets, 2008 IEEE/ASME International Conference on Mechtronic and Embedded Systems and Applications, pp.476-481, 2008.
DOI : 10.1109/MESA.2008.4735673

]. A. Chhabra07, G. Chhabra, and . Singh, Parametric Identification for Comparing Performance Evaluation Techniques in Parallel Systems, Proceedings the 1st National Conference on Challenges and Opportunities in Information Technology, COIT, pp.92-97, 2007.

]. K. Cho99, J. Cho, and . Lim, Mixed centralized/decentralized supervisory control of discrete event dynamic systems, Cinderella07] Cinderella Official Website, pp.121-128, 1999.
DOI : 10.1016/S0005-1098(98)00137-X

]. R. Corin07, S. Corin, P. Etalle, A. Hartel, and . Mader, Timed analysis of security protocols, Journal of Computer Security, vol.15, issue.6, pp.619-645, 2007.
DOI : 10.3233/JCS-2007-15603

]. G. Coulouris01, J. Coulouris, T. Dollimore, and . Kindberg, Distributed Systems: Concepts and Design, 2001.

]. M. Dasilveira02a, M. Silveira, and . Combacau, Supervision and Control of Heterarchical Discrete Event Systems: The Laas Approach, CBA -Congresso Brasileiro de Automática, 2002.

]. C. Eichner05, H. Eichner, R. Fleischhack, S. U. Meyer, and C. Stehno, Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets, Lecture Notes in Computer Science, vol.3530, pp.133-148, 2005.
DOI : 10.1007/11506843_9

]. G. Engels02, J. Engels, R. Hausmann, S. Heckel, and . Sauer, Testing The Consistency of Dynamic UML Diagrams, Proceedings of the 6th International Congress of Integrated Design and Process Technology , IDPT, 2002.

]. T. Erl05 and . Erl, Service-Oriented Architecture: Concepts, Technology, and Design

]. S. Ethier86, T. Ethier, and . Kurtz, Markov Processes Characterization and Convergence, 1986.

]. S. Evangelista05 and . Evangelista, High Level Petri Nets Analysis with Helena, Lecture Notes in Computer Science, vol.3536, pp.455-464, 2005.
DOI : 10.1007/11494744_26

]. M. Fadali09, A. Fadali, and . Visioli, Digital Control Engineering : Analysis and Design, 2009.

]. G. Fishman01 and . Fishman, Discrete-Event Simulation: Modeling, Programming, and Analysis, Series in Operations Research, 2001.
DOI : 10.1007/978-1-4757-3552-9

]. P. Fortier03, H. Fortier, and . Michel, Computer Systems Performance Evaluation and Prediction, 2003.

]. I. Foster95 and . Foster, Designing and Building Parallel Programs: Concepts and Tools for Parallel Software Engineering, 1995.

]. F. Fwang08, D. Wang, and . Liu, Networked Control Systems: Theory and Applications, 2008.

]. B. Gan06, L. Gan, S. Chan, and . Turner, Interoperating Simulations of Automatic Material Handling Systems and Manufacturing Processes, Proceedings of the 2006 Winter Simulation Conference, pp.1129-1135, 2006.
DOI : 10.1109/WSC.2006.323203

]. C. Geisterfer06, S. Geisterfer, and . Ghosh, Software Component Specification: A Study in Perspective of Component Selection and Reuse, Fifth International Conference on Commercial-off-the-Shelf (COTS)-Based Software Systems (ICCBSS'05), pp.100-108, 2006.
DOI : 10.1109/ICCBSS.2006.26

]. S. Henry05 and . Henry, Synthèse de Lois de commande pour la configuration et la reconfiguration des systèmes industriels complexes, Institut National Polytechnique de Grenoble -INPG, 2005.

]. M. Heusse03, F. Heusse, G. Rousseau, A. Berger-sabbatel, and . Duda, Performance anomaly of 802.11 b, INFOCOM, 2003.

]. S. Hinz05, K. Hinz, C. Schmidt, and . Stahl, Transforming BPEL to Petri Nets, Lecture Notes in Computer Science, vol.3649, pp.220-235, 2005.
DOI : 10.1007/11538394_15

D. Hong and Y. Seo, A hybrid simulation model for manufacturing systems using event-state-operation transitions, 2008 IEEE International Conference on Industrial Engineering and Engineering Management, pp.1413-1417, 2008.
DOI : 10.1109/IEEM.2008.4738103

]. C. Huang98, A. Huang, and . Kusiak, Modularity in Design of Products and Systems, IEEE Transactions on Systems Systems and Humans, vol.28, issue.1, 1998.

]. B. Huvenoit93, E. Huvenoit, J. Craye, and . Bourey, Implantation oriented methodology in design control of flexiblemanufacturing systems, Proceedings of Computers in Design, Manufacturing, and Production, CompEuro 93, pp.125-131, 1993.

[. Cell and S. , Cell Broadband Engine Resource Center: http://www.ibm.com/developerworks, 2009.

]. R. Jain91 and . Jain, The Art of Computer Systems Performance Analysis: Techniques for Experimental Design, Measurement, Simulation, and Modeling, 1991.

[. Jensen and W. Zhou, Coloured petri nets: A high level language for system design and analysis, Lecture Notes in Computer Science, vol.483, pp.342-416, 1991.
DOI : 10.1007/3-540-53863-1_31

]. J. Jwang07 and . Wang, Petri nets for dynamic event-driven system modeling Handbook of Dynamic System Modeling, 2007.

]. A. Kamrani02, S. Kamrani, and . Salhieh, Product Design for Modularity, 2002.

]. V. Khomenko03, M. Khomenko, and . Koutny, Branching Processes of High-Level Petri Nets, Proceeding of International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS, pp.458-472, 2003.
DOI : 10.1007/3-540-36577-X_34

]. M. Kohler05, J. Kohler, and . Ortmann, Formal Aspects for Semantic Service Modeling Based on High-Level Petri Nets, International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce (CIMCA-IAWTIC'06), pp.107-112, 2005.
DOI : 10.1109/CIMCA.2005.1631250

]. C. Kozierok05 and . Kozierok, The TCP/IP Guide: A Comprehensive, Illustrated Internet Protocols Reference, 2005.

]. L. Kristensen04, J. Kristensen, K. Jørgensen, and . Jensen, Application of Coloured Petri Nets in System Development, Lecture Notes in Computer Science, vol.3098, pp.626-685, 2002.
DOI : 10.1007/978-3-540-27755-2_18

]. S. Kryvyy08, L. Kryvyy, and . Matvyeyeva, Algorithm of Translation of MSC-specified System into Petri Net, Special Issue on Concurrency Specification and Programming (CS&P), vol.79, pp.3-4, 2008.

]. O. Kummer04 and . Kummer, An Extensible Editor and Simulation Engine for Petri Nets: Renew, Lecture Notes in Computer Science, vol.3099, pp.484-493, 2004.
DOI : 10.1007/978-3-540-27793-4_29

]. P. Kumar07, S. Kumar, and . Radha, Parallel Discrete Event Simulation of IEEE 802, p.11

]. N. Kumar09, R. Kumar, and . Sridharan, Simulation modelling and analysis of part and tool flow control decisions in a flexible manufacturing system, Robotics and Computer- Integrated Manufacturing, 2009.

G. Lagis09-]-le-laboratoire-d-'automatique, . Informatique, and . Signal, LAGIS : http://lagis.ec-lille, 2009.

]. R. Lai02 and . Lai, A survey of communication protocol testing, The Journal of Systems and Software, vol.62, issue.1, pp.21-46, 2002.

C. Lakos, From Coloured Petri Nets to Object Petri Nets, Lecture Notes in Computer Science, vol.935, 1995.
DOI : 10.1007/3-540-60029-9_45

]. C. Lakos02 and . Lakos, The Challenge of Object Orientation for the Analysis of Concurrent Systems, Lecture Notes in Computer Science, vol.2360, pp.59-67, 2002.
DOI : 10.1007/3-540-48068-4_4

[. Lallican, Proposition d'une approche composant pour la conception de la commande des systèmes transitiques, 2008.

]. R. Langlois02 and . Langlois, Modularity in technology and organization, Journal of Economic Behavior & Organization, vol.49, issue.1, pp.19-37, 2002.
DOI : 10.1016/S0167-2681(02)00056-2

]. K. Larsen05, M. Larsen, B. Mikucionis, A. Nielsen, and . Skou, Testing real-time embedded software using UPPAAL-TRON, Proceedings of the 5th ACM international conference on Embedded software , EMSOFT '05, pp.299-306, 1976.
DOI : 10.1145/1086228.1086283

]. B. Meyer97 and . Meyer, Object-Oriented Software Construction, Microsoft96] Microsoft Corporation. DCOM Technical Overview, 1997.

]. P. Mieghem06 and . Mieghem, Performance Analysis of Communications Networks and Systems, 2006.

]. N. Mir07, ]. Mirmoldt03, H. Moldt, and . Rolke, Computer and Communication Networks Pattern Based Workflow Design Using Reference Nets, Lecture Notes in Computer Science, vol.2678, pp.246-260, 2003.

]. R. Moraes06, P. Moraes, F. Portugal, and . Vasques, A Stochastic Petri Net Model for the Simulation Analysis of the IEEE 802.11e EDCA Communication Protocol, 2006 IEEE Conference on Emerging Technologies and Factory Automation, pp.38-45, 2006.
DOI : 10.1109/ETFA.2006.355256

]. R. Moreno08, D. Moreno, J. Tardioli, ]. Salcedomurata89, D. Nepomniaschy et al., Distributed Implementation of Discrete Event Control Systems based on Petri Nets Petri nets: Properties, Analysis and Applications Using Coloured Petri Nets to Model and Verify Telecommunications Systems, Newcomer03] E. Newcomer, " Understanding Web Services: XML, WSDL, SOAP, and UDDINS208] NS2. Official Website, pp.1738-1745, 1989.

G. Pahl, W. Beitz, J. Feldhusen, and K. Grote, Engineering Design A Systematic Approach, Modern Control Engineering, 2002.

J. Penix and P. Alexander, Using formal specifications for component retrieval and reuse, Proceedings of the Thirty-First Hawaii International Conference on System Sciences, pp.356-365, 1998.
DOI : 10.1109/HICSS.1998.656303

]. L. Peterson03, B. Peterson, and . Davie, Computer Networks: A System Approach, IEEE Communications Magazine, vol.36, issue.5, 2003.
DOI : 10.1109/MCOM.1998.667947

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

]. J. Petin05, P. Petin, A. Berruet, E. Toguyeni, and . Zamaï, Impact of information and communication emerging technologies in automation engineering : outline of the intica proj, 1st Workshop on Networked Control System and Fault Tolerant Control, 2005.

]. C. Petri66 and . Petri, Communication with Automata

]. L. Petrucci05 and . Petrucci, Modularity and Petri Nets, 7th International Symposium on Programming and Systems, ISPS, 2005.

]. A. Puder06, K. Puder, F. Römer, and . Pilhofer, Distributed Systems Architecture: A Middleware Approach Supervisory control of a class of discrete event processes, SIAM Journal on Control and Optimization, vol.25, issue.1, pp.206-230, 1987.

]. P. Ramadge89, W. Ramadge, C. Wonham, and M. I. Ramchandani, The Control of Discrete Event Systems Analysis of Asynchronous Concurrent Systems by Timed Petri Nets, Proceedings of the IEEE, vol.77, issue.1, 1974.

C. [. Socolofsky and . Kale-1180-a-tcp-/, Spider Systems Limited, 1991.

]. A. Rofail99, Y. Rofail, I. J. Shohoud-sybex, I. Rumbaugh, G. Jacobson et al., The Unified Modeling Language Reference Manual, Mastering COM and COM+, 1999.

]. J. Sametinger97 and . Sametinger, Software engineering with reusable components, 1997.
DOI : 10.1007/978-3-662-03345-6

]. K. Sankar05, S. Sankar, A. Sundaralingam, D. Balinsky, C. Miller et al., Hybrid discrete event simulation with model predictive control for semiconductor supply-chain manufacturing, Proceedings of the 37th Conference on Winter Simulation, pp.256-266, 2005.

R. Neubert and D. Brunner, Agent-oriented material flow control system based on DCOM Inside discrete-event simulation software: How it works and why it matters, Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC Proceedings of the Winter Simulation Conference, pp.342-345, 2000.

]. F. Seyler02, P. Seyler, and . Aniorte, A Component Meta Model for Reused-Based System Engineering, Software Model Engineering, 2002.

]. C. Spurgeon00 and . Spurgeon, Ethernet The Definitive Guide, 2000.

]. R. Srinivasan95a and . Srinivasan, RFC1831 -RPC: Remote Procedure Call Protocol Specification Version 2, Sun Microsystems, 1995.

]. W. Stallings07 and . Stallings, Data and Computer Communications, 2007.

]. R. Subramanian05, B. Subramanian, and . Goodman, Peer-to-Peer Computing: The Evolution of a Disruptive Technology, 2005.
DOI : 10.4018/978-1-59140-429-3

]. A. Tanenbaum03 and . Tanenbaum, Computer Networks, 2003.

]. A. Tanenbaum95 and . Tanenbaum, Distributed operating systems, ACM Computing Surveys, vol.17, issue.4, 1995.
DOI : 10.1145/6041.6074

Z. Tari and O. Bukhres, Fundamentals of Distributed Object Systems: The CORBA Perspective, 2001.
DOI : 10.1002/0471200646

T. Thai and H. Lam, NET Framework Essentials, 2002.

]. A. Toguyeni06 and . Toguyeni, Design of Modular and Hierarchical Controllers for Reconfigurable Manufacturing Systems, IMACS Multiconference on Computational Engineering in Systems Applications, vol.1, pp.1004-1011, 2006.

M. Tsai and L. Lin, Web-based distributed manufacturing control systems, The International Journal of Advanced Manufacturing Technology, vol.14, issue.5-6, pp.608-618, 2005.
DOI : 10.1007/s00170-003-1805-9

]. T. Vojnar01 and . Vojnar, Legitimate Applications of Peer-to-Peer Networks Towards Formal Analysis and Verification over State Spaces of Object-Oriented Petri Nets, W3C01] W3C. URIs, URLs, and URNs: Clarifications and Recommendations 1, 2001.

]. D. Weber07, J. Weber, S. Glaser, and . Mahlknecht, Discrete Event Simulation Framework for Power Aware Wireless Sensor Networks, 2007 5th IEEE International Conference on Industrial Informatics, pp.335-340, 2007.
DOI : 10.1109/INDIN.2007.4384779

]. C. Werner05, X. Werner, D. Fu, and . Hogrefe, Modeling Route Change in Soft-State Signaling Protocols Using SDL: A Case of RSVP, Lecture Notes in Computer Science, vol.3530, pp.174-186, 2005.
DOI : 10.1007/11506843_12

]. C. Werner06, S. Werner, D. Kraatz, and . Hogrefe, A UML Profile for Communicating Systems, Lecture Notes in Computer Science IEEE Software, vol.4320, issue.15 5, pp.1-18, 1998.
DOI : 10.1007/11951148_1

M. Woodside, J. Neilson, D. Petriu, and S. Majumdar, The Stochastic Rendezvous Network Model for Performance of Synchronous Client-Server-like Distributed Software Extending metadata with scenarios in adaptive distributed system, IEEE Transactions on Computers Journal of Network and Computer Applications, vol.44, issue.30 4, pp.20-34, 1995.

]. T. Xu07, T. Xu, and . Tang, The modeling and Analysis of Data Communication System (DCS) in Communication Based Train Control (CBTC) with Colored Petri Nets KRONOS: a verification tool for real-time systems, Eighth International Symposium on Autonomous Decentralized Systems, ISADS '07, pp.83-92, 1997.