Introduction to Discrete Event Systems, 2008. ,
Web Services Essentials Distributed Applications with, 2002. ,
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
UML Components: A Simple Process for Specifying Component-Based Software, 2001. ,
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
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. ,
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
Timed analysis of security protocols, Journal of Computer Security, vol.15, issue.6, pp.619-645, 2007. ,
DOI : 10.3233/JCS-2007-15603
Distributed Systems: Concepts and Design, 2001. ,
Supervision and Control of Heterarchical Discrete Event Systems: The Laas Approach, CBA -Congresso Brasileiro de Automática, 2002. ,
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
Testing The Consistency of Dynamic UML Diagrams, Proceedings of the 6th International Congress of Integrated Design and Process Technology , IDPT, 2002. ,
Service-Oriented Architecture: Concepts, Technology, and Design ,
Markov Processes Characterization and Convergence, 1986. ,
High Level Petri Nets Analysis with Helena, Lecture Notes in Computer Science, vol.3536, pp.455-464, 2005. ,
DOI : 10.1007/11494744_26
Digital Control Engineering : Analysis and Design, 2009. ,
Discrete-Event Simulation: Modeling, Programming, and Analysis, Series in Operations Research, 2001. ,
DOI : 10.1007/978-1-4757-3552-9
Computer Systems Performance Evaluation and Prediction, 2003. ,
Designing and Building Parallel Programs: Concepts and Tools for Parallel Software Engineering, 1995. ,
Networked Control Systems: Theory and Applications, 2008. ,
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
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
Synthèse de Lois de commande pour la configuration et la reconfiguration des systèmes industriels complexes, Institut National Polytechnique de Grenoble -INPG, 2005. ,
Performance anomaly of 802.11 b, INFOCOM, 2003. ,
Transforming BPEL to Petri Nets, Lecture Notes in Computer Science, vol.3649, pp.220-235, 2005. ,
DOI : 10.1007/11538394_15
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
Modularity in Design of Products and Systems, IEEE Transactions on Systems Systems and Humans, vol.28, issue.1, 1998. ,
Implantation oriented methodology in design control of flexiblemanufacturing systems, Proceedings of Computers in Design, Manufacturing, and Production, CompEuro 93, pp.125-131, 1993. ,
Cell Broadband Engine Resource Center: http://www.ibm.com/developerworks, 2009. ,
The Art of Computer Systems Performance Analysis: Techniques for Experimental Design, Measurement, Simulation, and Modeling, 1991. ,
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
Petri nets for dynamic event-driven system modeling Handbook of Dynamic System Modeling, 2007. ,
Product Design for Modularity, 2002. ,
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
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
The TCP/IP Guide: A Comprehensive, Illustrated Internet Protocols Reference, 2005. ,
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
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. ,
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
Parallel Discrete Event Simulation of IEEE 802, p.11 ,
Simulation modelling and analysis of part and tool flow control decisions in a flexible manufacturing system, Robotics and Computer- Integrated Manufacturing, 2009. ,
LAGIS : http://lagis.ec-lille, 2009. ,
A survey of communication protocol testing, The Journal of Systems and Software, vol.62, issue.1, pp.21-46, 2002. ,
From Coloured Petri Nets to Object Petri Nets, Lecture Notes in Computer Science, vol.935, 1995. ,
DOI : 10.1007/3-540-60029-9_45
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
Proposition d'une approche composant pour la conception de la commande des systèmes transitiques, 2008. ,
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
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
Object-Oriented Software Construction, Microsoft96] Microsoft Corporation. DCOM Technical Overview, 1997. ,
Performance Analysis of Communications Networks and Systems, 2006. ,
Computer and Communication Networks Pattern Based Workflow Design Using Reference Nets, Lecture Notes in Computer Science, vol.2678, pp.246-260, 2003. ,
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
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. ,
Engineering Design A Systematic Approach, Modern Control Engineering, 2002. ,
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
Computer Networks: A System Approach, IEEE Communications Magazine, vol.36, issue.5, 2003. ,
DOI : 10.1109/MCOM.1998.667947
Petri Net Theory and the Modeling of Systems, 1981. ,
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. ,
Communication with Automata ,
Modularity and Petri Nets, 7th International Symposium on Programming and Systems, ISPS, 2005. ,
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. ,
The Control of Discrete Event Systems Analysis of Asynchronous Concurrent Systems by Timed Petri Nets, Proceedings of the IEEE, vol.77, issue.1, 1974. ,
Spider Systems Limited, 1991. ,
The Unified Modeling Language Reference Manual, Mastering COM and COM+, 1999. ,
Software engineering with reusable components, 1997. ,
DOI : 10.1007/978-3-662-03345-6
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. ,
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. ,
A Component Meta Model for Reused-Based System Engineering, Software Model Engineering, 2002. ,
Ethernet The Definitive Guide, 2000. ,
RFC1831 -RPC: Remote Procedure Call Protocol Specification Version 2, Sun Microsystems, 1995. ,
Data and Computer Communications, 2007. ,
Peer-to-Peer Computing: The Evolution of a Disruptive Technology, 2005. ,
DOI : 10.4018/978-1-59140-429-3
Computer Networks, 2003. ,
Distributed operating systems, ACM Computing Surveys, vol.17, issue.4, 1995. ,
DOI : 10.1145/6041.6074
Fundamentals of Distributed Object Systems: The CORBA Perspective, 2001. ,
DOI : 10.1002/0471200646
NET Framework Essentials, 2002. ,
Design of Modular and Hierarchical Controllers for Reconfigurable Manufacturing Systems, IMACS Multiconference on Computational Engineering in Systems Applications, vol.1, pp.1004-1011, 2006. ,
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
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. ,
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
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
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
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. ,
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. ,