]. 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, ]. S. Ghoshhenry05, and . Henry, Software Component Specification: A Study in Perspective of Component Selection and Reuse Fifth International Conference on Commercial-off-the-Shelf (COTS)-Based Software Systems, Synthèse de Lois de commande pour la configuration et la reconfiguration des systèmes industriels complexes. " Institut National Polytechnique de Grenoble -INPG, pp.100-108, 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. Hong08, Y. Hong, and . 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.

]. 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.11 MAC Layer using Cell Processor, International Conference on Emerging Trends in High Performance Architecture Algorithms & Computing, 2007.

]. 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.

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

]. Lakos95 and . Lallican, From Coloured Petri Nets to Object Petri Nets The Challenge of Object Orientation for the Analysis of Concurrent Systems Proposition d'une approche composant pour la conception de la commande des systèmes transitiques, Lakos02] C. Lakos, pp.59-67, 1995.

]. 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, . Skoulatkoski07-]-p et al., Testing real-time embedded software using UPPAAL-TRON, Proceedings of the 5th ACM international conference on Embedded software , EMSOFT '05, pp.299-306, 1998.
DOI : 10.1145/1086228.1086283

]. H. Liang06, J. Liang, Z. Dingel, and . Diskin, A Comparative Survey of Scenario-based to State-based Model Synthesis Approaches Proceedings of the international workshop on Scenarios and state machines: models, algorithms, and tools, SCESM'06 A Middleware Services Simulation Platform forWireless Sensor Networks, The 28th International Conference on Distributed Computing Systems Workshops, ICDCS, pp.5-12, 2006.

]. F. Lin90, W. Lin, and . Wonham, Decentralized control and coordination of discrete-event systems with partial observation, IEEE Transactions on Automatic Control, vol.35, issue.12, pp.1330-1337, 1990.
DOI : 10.1109/9.61009

]. X. Liu08, G. Liu, Z. Yin, and . Zhang, A kind of Object-Oriented Petri Net and its Application, International Conference on Internet Computing in Science and Engineering, ICICSE '08, pp.541-544, 2008.

]. F. Mallet06, M. Mallet, C. Peraldi-frati, and . André, From UML to Petri Nets for non functional Property Verification, 2006 International Symposium on Industrial Embedded Systems, pp.1-9, 2006.
DOI : 10.1109/IES.2006.357475

]. P. Merlin76, D. Merlin, and . Farber, Recoverability of Communication Protocols--Implications of a Theoretical Study, IEEE Transactions on Communications, vol.24, issue.9, pp.578841-1036, 1976.
DOI : 10.1109/TCOM.1976.1093424

]. 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.