, Improved flow admission algorithm for a class of rate-controlled packet networks, 24th IEEE Real-Time Systems Symposium. Work-in-Progress Session, pp.3-5, 2003.
, Ouvrage Verification et mise en oeuvre des reseaux de Petri, Hermes Science, issue.11, 2003.
, Méthodologie de développement des systèmes embarqués temps réel basé sur le langage, pp.15-17, 2002.
, Conception des systèmes d'informations; panorama des méthodes et techniques, P. Andre, A. Vailly, Edition Ellipse, 2001.
, Pages 361-366 & al 2003a] Modelling and analyzing safety criteria of real communication protocol, Fusion Engineering and Design, vol.60, issue.3, 2002.
, Safety Analysis and Reliability Estimation of a Networked Control System, 5th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, SAFEPROCESS'2003, pp.1047-1052, 2003.
, Construction and stepwise refinement of dependability models,Cláudia Betous-Almeida and Karama Kanoun, pp.1-4, 2004.
, Dependability modelling of instrumentation and control systems: A comparison of competing architectures, Cláudia Betous-Almeida and Karama Kanoun, pp.457-480, 2004.
, Structured Finite State Automata -A new approach for modelling distributed communications systems, Stanislaw Budkowski, Elie Najm. Protocol Specification, pp.95-110, 1983.
, Analysing superscalar processor architectures with coloured Petri nets, Lecture Notes in Computer Science, pp.182-191, 1998.
DOI : 10.1007/s100090050026
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.147.3528
, Synthesis and optimization of coordination controllers for distributed embedded systems, Proceedings of the 37th conference on Design automation , DAC '00, p.410, 2000.
DOI : 10.1145/337292.337520
, Thèse de doctorat de l'Université Nancy I., 17 février Formalisation de la conception d'architecture de conduite des systèmes de production, Association Internationale pour l'Automatisation Industrielle, 2ème Conférence Internationnal sur L'Automatisation Industrielle, pp.7-9, 1994.
, Using Design/CPN to Design a Visualisation Extension for Design, Symétries dans les réseaux colorés. Définition Proceedings of the Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools PB-560, p21-37 & SIMONOT-LION 2002] An Architecture Description Language For In-vehicle Embedded System Development Françoise Simonot-Lion, 15th Triennial World Congress of the IFAC, pp.21-26, 1992.
, Codesign of embedded systems: Status and trends, IEEE Design & Test of Computers, pp.45-54, 1998.
, Using Coloured Petri Nets to Investigate Behavioural and Performance Issues of, Proceedings of the 2nd Workshop on Practical Use of Coloured Petri Nets and Design, pp.541-562, 1999.
, Software Specification Methods -An Overview Using a Case Study ISBN : 1-85233-353-7 & LAUTENBACH 1981] System modelling with high-level Petri nets, J. Genrich et K. Lautenbach, Theorical Computer Science, vol.13, pp.103-136, 1981.
, ] Identification des systèmes séquentiels par la plate-forme PRISME, TS Technique et science informatiques, pp.621-649, 1997.
, Dynamic Communication Models in Embedded System Co-Simulation, Proc. of the 34th Design Automation Conference SICICA'97, 3rd IFAC Symposium on Intelligent Components and Instruments for Control Applications, pp.395-400, 1997.
, Petri Nets: Central Models and Their Properties Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef, 8.-19, Lecture Notes in Computer Science, pp.255-1987, 1986.
, Coloured Petri Nets in UML-Based Software Development Designing Middleware for Pervasive, Proceedings of the Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, pp.61-80, 2002.
, Towards an information-based approach for the dependability evaluation of distributed control systems, 20th IEEE Instrumentation and Measurement Technology Conference, pp.20-22, 2003.
, Evaluation de performances d'Ethernet commuté pour des applications temps réel., Anis Koubaa and YeQiong Song, 10th International Conference on Real Time and Embedded Systems -RTS'2002, 2002.
, An open tool architecture for the formal verification of logic controllers in processing systems, Preprin IFAC World Congress, 1999.
, Equivalent Coloured Petri Nets Models of a Class of Timed Influence Nets with Logic, Proceedings of the Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, pp.554-589, 2001.
, Modelling Feature Interaction Patterns in Nokia Mobile Phones using Coloured Petri Nets, Proceedings of the Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, pp.554-555, 2001.
, Increasing the efficiency of PLC Program Verification using a plant model, 6th Industrial Engineering and Production Management IEMP'03, CDRom proceedings, 2003.
, SADT: Structured Analysis and Design Technique, 1988.
, Design and development of an automatic small-scale house for teaching domotics, 31st Annual Frontiers in Education Conference. Impact on Engineering and Science Education. Conference Proceedings (Cat. No.01CH37193), p.31, 1997.
DOI : 10.1109/FIE.2001.963911
, Analysing a mechatronic system with coloured Petri nets, International Journal on Software Tools for Technology Transfer (STTT), vol.2, issue.2, pp.160-167, 1998.
DOI : 10.1007/s100090050024
, Analysis, Petri Nets: Properties Proceedings of the IEEE, pp.541-580, 1989.
, Validation of in-vehicle real-time applications, Nicolas Navet and Ye-Qiong Song, Computers in Industry Pages 107-122 & PUPO 1998] Using Design/CPN for the Schedulability Analysis of Actor Systems with Timing Constraints, L. Nigro, F. Pupo, Proceedings of the Workshop on Practical Use of Coloured Petri Nets and Design, pp.532-271, 1998.
, Communication synthesis for embedded systems with global considerations, Proceedings of 5th International Workshop on Hardware/Software Co Design. Codes/CASHE '97, pp.69-73, 1997.
DOI : 10.1109/HSC.1997.584581
, Communication synthesis for distributed embedded systems, Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design , ICCAD '98, 1998.
DOI : 10.1145/288548.289067
, Master of Science Thesis de l'université du Michigan (USA) Méthodologie de modélisation dans le cadre de la synthèse formelle des SED, Alexandre Philippot, Abdelouahed Tajer, François Gellot et Véronique Carré-ménétrier, Conférence Internationnale Francophone d'Automatique, Proceedings of the Advanced Course on General Net Theory of Processes and Systems (Tunisie) [RATZER & al 2003] CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets, pp.160-165, 1979.
, Proceedings of LINAC 2002, 21th International Linear Accelerator Conference SURF-2 : outil d'évaluation de la sûreté de fonctionnement par chaînes de Markov et réseaux de Petri stochastiques, Rapport LAAS No94088 : 9ème Colloque International de Fiabilité et de Maintenabilité (ESREL'94) (Short Paper), pp.30-319, 1994.
, Control system for the Holifield Radioactive Ion Beam Facility, Proceedings Particle Accelerator Conference, pp.1-5, 1995.
DOI : 10.1109/PAC.1995.505498
, Cycle time properties of the PROFIBUS timed-token protocol, Computer Communications, vol.22, issue.13, pp.1206-1216, 1999.
DOI : 10.1016/S0140-3664(99)00123-1
, Supporting real-time distributed computer-controlled systems with multi-hop P-NET networks, Control Engineering Practice, vol.7, issue.8, pp.1015-1025, 1999.
DOI : 10.1016/S0967-0661(99)00073-8
, Distributed computing for the factory-floor: a real-time approach using WorldFIP networks, Eduardo Tovar and Francisco Vasques, Computers in Industry, pp.11-31, 2001.
, Structured Development for Real-Time Systems, 1985.
, http://www.intersections.schneider-electric.fr/stock_images/telec/1/n3/Minoterie.pdf Scrutinizing well safety Control system for gas product and processing facility, 2000.
, 110000) |IT1 => CPN'randint( 10000, 20000) |IT2 => CPN'randint( 12000, 32000) |_ => 0