Abstract




 
   

IJE TRANSACTIONS A: Basics Vol. 27, No. 1 (January 2014) 113-122   

downloaded Downloaded: 194   viewed Viewed: 2184

  USING INTERVAL PETRI NETS AND TIMED AUTOMATA FOR DIAGNOSIS OF DISCRETE EVENT SYSTEMS (DES)
 
L. Mhamdi, H. Dhouibi, Z. Simeu-Abazi and N. Liouane
 
( Received: November 28, 2012 – Accepted: August 22, 2013 )
 
 

Abstract    A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The proposed approach is based on hybrid model which combines Interval Constrained Petri Nets (ICPN) and Timed Automata. These tools allow us to evaluate, respectively, the quality variations and to manage the flow type disturbance. An example analysis illustrates our approach.

 

Keywords    Modeling, Petri Nets, Timed Automata, Interval Constraint Petri Nets, Robustness

 

چکیده   

سیستم رویدادگسسته (DES) یک سیستم پویاست که احتمالاً با وقوع ناگهانی وقایع فیزیکی ناشناخته در فواصل نامنظم، تکامل می‌یابد. به دلیل ماهیت ویژه این سیستم ها، در حال حاضر از ابزارهای مختلف برای تجزیه و تحلیل، طراحی و مدل‌سازی آنها استفاده می‌شود. تمرکزاصلی این مقاله ارائه روش مدل‌سازی سیستم‌های رویداد گسسته است. روش ارائه شده مدل ترکیبی از فاصله‌ی محدود پتری شبکه‌ها (ICPN) و آتوماتای به‌هنگام (timed automata)است. این ابزار به ما اجازه می‌دهد تا به ارزیابی تغییرات کیفیت و مدیریت نوع اختلال جریان بپردازیم. تحلیل این رویکرد را با یک مثال نشان می‌دهیم

References   

1.     K., I., " Recent developments in discrete event systems", International Journal of Engineering,  Vol. 5, No. 1&2, (1992), 25-32.

2.     Caillaud, B., "Synthesis and control of discrete event systems", Springer,  (2002).

3.     Delgado-Eckert, E., "Reverse engineering time discrete finite dynamical systems: A feasible undertaking?", PloS one,  Vol. 4, No. 3, (2009), e4939.

4.     Zhou, M. and Di-C, F., "Petri net synthesis for discrete event control of manufacturing systems",  (1993).

5.     Kumar, P. R. and Varaiya, P. P., "Discrete event systems, manufacturing systems, an communication networks", Mathematics and Its Applications, Springer Verlag,  Vol. 73, (1995).

6.     Aho, A. and Ullman, J., Introduction to automata theory, languages and computation., Addison-Wesley, Reading, MA. (1979)

7.     Murata, T., "Petri nets: Properties, analysis and applications", Proceedings of the IEEE,  Vol. 77, No. 4, (1989), 541-580.

8.     Delgado-Eckert, E., "Boolean monomial control systems", Mathematical and Computer Modelling of Dynamical Systems,  Vol. 15, No. 2, (2009), 107-137.

9.     Germundsson, R., "Symbolic systems: Theory, computation and applications", Department of Electrical Engineering, Linköping University,  (1995).

10.   Plantin, J., Gunnarsson, J. and Germundsson, R., "Symbolic algebraic discrete systems theory-applied to a fighter aircraft", in Decision and Control, Proceedings of the 34th IEEE Conference on, Vol. 2, (1995), 1863-1864.

11.   Reger, J. and Schmidt, K., "A finite field framework for modelling, analysis and control of finite state  automata", Mathematical and Computer Modelling of Dynamical Systems,  Vol. 10, No. 3-4, (2004), 253-285.

12.   Dhouibi, H., Dutilleul, S. C., Nabli, L. and Craye, E., "Using interval constrained petri nets for regulation of quality", in Large Scale Complex Systems Theory and Applications. Vol. 9, (2010), 192-198.

13.   Yim, P., Lefort, A. and Hebrard, A., "System modelling with hypernets", in Emerging Technologies and Factory Automation, ETFA'95, Proceedings., INRIA/IEEE Symposium on, IEEE. Vol. 1, (1995), 37-47.

14.   Collart Dutilleul S., Dhouibi, H. and E.Craye., "Internal robustness of discret event system with interval constraints in repetitive functioning mode", in ACS, Miedzyzdroje Poland., (2003), 353-361.

15.   Nabli, L., Telmoudi, A. J. and M’hiri, R., "Modeling and analysis of a robust control of manufacturing systems: Flow-quality approach", International Journal of Computer, Information, and Systems Science, and Engineering,  Vol. 2, No. 1, (2008).

16.   Alur, R. and Dill, D. L., "A theory of timed automata", Theoretical Computer Science,  Vol. 126, No. 2, (1994), 183-235.

17.   Ramchandani, C., "Analysis of asynchronous concurrent systems by timed petri nets",  (1974).

18.   Sifakis., J., "Use of petri nets for performance evaluation, measuring modeling and evaluating computer systems", Hollande,  (1977).

19.   Merlin, P. M., "A study of the recoverability of computing systems",  (1974).

20.   Khansa, W., Aygalinc, P. and Denat, J.-P., "Structural analysis of p-time petri nets", in CESA'96 IMACS Multiconference: computational engineering in systems applications. (1996), 127-136.

21.   Diaz, M., "Vérification et mise en oeuvre des réseaux de petri", Hermès Science Publications,  (2003).

22.   Marsan, M. A., Balbo, G. and Conte, G., "Performance models of multiprocessor systems",  (1986).

23.   Merlin, P. and Farber, D., "Recoverability of communication protocols--implications of a theoretical study", Communications, IEEE Transactions on,  Vol. 24, No. 9, (1976), 1036-1043.

24.   Wang, J., "Charging information collection modeling and analysis of gprs networks", Systems, Man, and Cybernetics, Part C: Applications and Reviews, IEEE Transactions on,  Vol. 37, No. 4, (2007), 473-481.

25.   Venkatesh, K., Zhou, M. and Caudill, R. J., "Comparing ladder logic diagrams and petri nets for sequence controller design through a discrete manufacturing system", Industrial Electronics, IEEE Transactions on,  Vol. 41, No. 6, (1994), 611-619.

26.   Zhou, M. C. and DiCesare, F., "Adaptive design of petri net controllers for error recovery in automated manufacturing systems", Systems, Man and Cybernetics, IEEE Transactions on,  Vol. 19, No. 5, (1989), 963-973.

27.   Desrochers, A. A. and Al-Jaar, R. Y., "Applications of petri nets in manufacturing systems: Modeling, control, and performance analysis", IEEE press Piscataway (NJ NJ),  Vol. 70,  (1995).

28.   Andreadakis, S. K. and Levis, A. H., Synthesis of distributed command and control for the outer air battle., DTIC Document. (1988)

29.   Mandrioli, D., Morzenti, A., Pezze, M., Pietro, P. and Silva, S., "A petri net and logic approach to the specification and verification of real time systems", Formal Methods for Real-Time Computing, (1996), 135-165.

30.   Tsai, J. J. P., Jennhwa Yang, S. and Chang, Y.-H., "Timing constraint petri nets and their application to schedulability analysis of real-time system specifications", Software Engineering, IEEE Transactions on,  Vol. 21, No. 1, (1995), 32-49.

31.   Van Landeghem, R. and Bobeanu, C.-V., "Formal modelling of supply chain: An incremental approach using petri nets", in 14th European Simulation Symposium and Exhibition: Simulation in Industry–Modeling, Simulation and Optimization (ESS, Proceedings), Citeseer. (2002), 323-327.

32.   Chuangl, L., Yangl, Q., Fengyuanl, R. and Marinescuz, D. C., "Performance equivalent analysis of workflow systems", in Engineering and Deployment of Cooperative Information Systems: First International Conference, EDCIS, Beijing, China, September 17-20,. Proceedings, Springer. Vol. 2480, (2002), 64.

33.   Motameni, H., A.Movagar and Amiri, M. F., "Mapping activity diagram to petri net: Application of markov theory for analyzing non-functional parameters", International Journal of Engineering, Transactions B: Applications,  Vol. 20, No. 1, (2007).

34.   Lindemann, C., "Performance modelling with deterministic and stochastic petri nets", ACM SIGMETRICS Performance Evaluation Review,  Vol. 26, No. 2, (1998), 3.

35.   NABLI, L. and DHOUIBI, H., "Using interval constrained petri nets for regulation of quality: The case of weight in tobacco factory", International Journal of Intelligent Control and Systems,  Vol. 13, No. 3, (2008), 178-188.

36.   H., D., S., C. D. and E., N. L. C., "Using interval constrained petri nets for reactive control design", The International Journal Manufacturing Systems and Production (IJMSP),  Vol. 9, No. 3-4, (2008), 217-228.

37.   Bengtsson, J. and Yi, W., Timed automata: Semantics, algorithms and tools, in Lectures on concurrency and petri nets., Springer. (2004) 87-124.

38.   Sava, A. T., Sur la synthèse de la commande des systèmes à évènements discrets temporisés., Institut National Polytechnique de Grenoble-INPG.( 2001)

39.   Klajnmic, H., "Intervalles de confiances et intervalles de tolérance", EDF recherche et développement,  (2002).

40.   Dhouibi, H., Dutilleul, S. C., Craye, E. and Nabli, L., "’computing intervals constrainted petri nets: A tobacco manufacturing application,’", in IMACS conference, Paris., (2005), 440-446.

41.   S., C. D., Dhouibi, H. and Craye, E., Internal robustness of discret event system with interval constraints in repetitive functioning mode, in ACS.: Miedzyzdroje, Poland. (2003)

42.   Lunze, J. and Schroder, J., "Sensor and actuator fault diagnosis of systems with discrete inputs and outputs", Systems, Man, and Cybernetics, Part B: Cybernetics, IEEE Transactions on,  Vol. 34, No. 2, (2004), 1096-1107.

43.   Khansa, W., Denat, J.-P. and Collart-Dutilleul, S., "P-time petri nets for manufacturing systems", in International Workshop on Discrete Event Systems, WODES. Vol. 96, (1996), 94-102.

44.   Collart Dutilleul, S., Dhouibi, H. and Craye, E., "Tolerance analysis approach with interval constrainted petri nets", in ESMc conference, Paris. (2004).

45.   Pillet, M., Appliquer la maîtrise statistique des processus., Éditions d’Organi. (1995)





International Journal of Engineering
E-mail: office@ije.ir
Web Site: http://www.ije.ir