Using Interval Constrained Petri Nets and timed automata for diagnosis of dynamic systems

(*) Corresponding author

Authors' affiliations

DOI's assignment:
the author of the article can submit here a request for assignment of a DOI number to this resource!
Cost of the service: euros 10,00 (for a DOI)


The purpose of the following article is a new approach to modeling, diagnosing and controlling of discrete-event systems. This approach is using a model which combines Interval Constrained Petri Nets (ICPN) and Timed Automata to describe the diagnosed system. The Petri net is used for modelling the system which needs controlling and the timed automata is being used for the controller. This article is a description of a case study, which is a cigarette production system where the tobacco density must be held in an interval.
Copyright © 2014 Praise Worthy Prize - All rights reserved.


Fault Diagnosis; Timed Automata; Petri Net; Discrete Event Systems

Full Text:



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 10(3-4):253-285.

M. Combacau, M. Courvoisier. A hierarchical and modular structure for FMS control and monitoring. First international Conference on AI, Simulation and Planning in high autonomy systems, Tucson, Arizona, March 1990.

S. Elkhattabi, D. Corbeel, J.C. Gentina “Integration of dependability in FMS, 7th IFAC Symposium on Information Control Problems in Manufacturing Technologiy, Toronto, May 1992, pp. 249-255

Sahraoui, M. Couvoisier, R. Valette. Some considerations on monitoring in distributed real time control of flexible manufacturing systems. International Conference on Industrial Electronics Control and instrumentation. IECON 86, Milwaukee, sept. 29 - oct. 3, 1986, p. 805-810

Dhouibi H., Collart Dutilleul S., Nabli L., Craye E., “Using interval constrained Petri Nets for regulation of quality” LSS conference 2010 ,France.

P. Yim, A. Lefort, and Hebrard "System Modelling with Hypernets" ETFA’96 IEEE Conferences, pp 37-47, Paris, 1996.

Collart Dutilleul S., H. Dhouibi and E.Craye. , "Internal Robustness of Discret Event System with interval constraints in repetitive functioning mode", ACS'2003 conference, Miedzyzdroje Poland, pp. 353-361.

Alur R. Dill D. “A theory of timed automata”, Theoretical Computer Science (TCS), 126 (2), 1994, pp. 183-235

Bengtsson J. and Wang Yi, “Timed automata: semantics, algorithms and tools” In lecture Notes on Concurrency and Petri Nets, W. Reisig and G. Rozenberg (eds), LNCS.

W. Khansa, J.P. Denat, S. Collart-Dutilleul, "P-Time Petri Nets for Manufacturing Systems". Wodes.96, Edinburgh UK, August 19-21, pp. 94-102, International Workshop on Discret Event Systems, 1996.

Mhamdi L., Dhouibi H., Simeu-Abasi Z., Liouane N. Using constrained Petri nets and timed automata for modelling of discrete event systems. IJE, vol.27, pp 113-122, January 2014

Asthana, R., Ahuja, N.J., Darbari, M., Model proving of urban traffic control using Neuro Petri Nets and Fuzzy Logic, (2011) International Review on Computers and Software (IRECOS), 6 (6), pp. 983-987.

J. Sifakis. « Use of Petri Nets for Performance Evaluation, Measuring Modeling and evaluating Computer Systems”, E Bleiner and E. Gelenbe editors, Hollande, 1977, pp. 75-93.

P. Merlin, A Study of the Recoverability of Computer system». Thèse de Doctorat, Université de Californie, 1974.

Khansa W. ; Aygalinc P.; Denat J.-P., Structural analysis of p-time Petri nets, CESA'96 IMACS Multiconference : computational engineering in systems applications, Lille , France.

Zhao, Y., Bi, G., Modeling for complex adaptive agent system based on time colored Petri nets, (2012) International Review on Computers and Software (IRECOS), 7 (5), pp. 2495-2501.

M. Diaz, Vérification et mise en oeuvre des réseaux de Petri ». Paris, Hermès Sciences Publication, 2003.

Ajmone Marsan, M., M. G. Balbo and G. Conte. 1986. Performance Models of Multiprocessor Systems, Massachusetts: The MIT Press.

Merlin, P., and D. Farber. 1976. Recoverability of communication protocols - implication of a theoretical study. IEEE Transactions on Communications 1036-1043.

Wang, J. 2006. Charging information collection modeling and analysis of GPRS networks. IEEE Transactions on Systems, Man and Cybernetics, Part C 36(6).

Venkatesh K., M. C. Zhou, and R. Caudill. Comparing ladder logic diagrams and Petri nets for sequence controller design through a discrete manufacturing system. IEEE Trans. on Industrial Electronics 41(6): 611-619. 1994

Andreadakis, S.K., and A.H. Levis. 1988. Synthesis of distributed command and control for the outer air battle. Proceedings of the 1988 Symposium on C² Research. SAIC, McLean, VA.

Mandrioli, D., A. Morzenti, M. Pezze, P. Pietro S. and S. Silva. 1996. A Petri net and logic approach to the specification and verification of real time systems. In: Formal Methods for Real Time Computing (C. Heitmeyer and D. Mandrioli eds), John Wiley & Sons Ltd.

Tsai, J., S. Yang, and Y. Chang. 1995. Timing constraint Petri nets and their application to schedulability analysis of real-time system specifications. IEEE Transactions on Software Engineering 21(1): 32-49.

Landeghem, Rik and Carmen-Veronica Bobeanu. 2002. Formal modeling of supply chain: an incremental approach using Petri nets. 14th European Simulations Symposium and Exhibition Dresden, Germany.

Mtibaa, S., Tagina, M., A combined Petri nets and model-driven engineering for requirements specification approach for Service-Based Applications analysis, (2012) International Review on Computers and Software (IRECOS), 7 (5), pp. 2131-2138.

Lin, Chuang, Liqin Tian and Yaya Wei. 2002. Performance equivalent analysis of workflow systems, Journal of Software 13(8): 1472-1480.

H. Motameni, A.Movagar, M.Fadavi Amiri, IJE Transactions B: Applications, Vol. 20, No.1, April 2007.

Trpakis S. Fault diagnosis for timed automata. In: Proc. 7th Int. Symp. Formal Technics in Real-time and Fault tolerant Systems (FTRTFT) 02), Oldenburg, Germany 2002.

Wong K. C. and Wonham, W. M. On the Computation of observers in discrete-Event Systems. Discrete Event Systems 14 (1), January 2004, pp. 55-107.

H. Dhouibi, M. Bochran, Z. Simeu Abasi, M. Hassani. Diagnosis approach using bond graph and timed automata. IJAREEIE, vol. 2, Issue 9, September 2013.

Henri Klajnmic "Intervalles de confiances et intervalles de tolérance". EDF recherche et développement., 2002

Dhouibi H., S. Collart Dutilleul, E. Craye and L. Nabli , "Computing Intervals Constrainted Petri Nets: a tobacco manufacturing application", IMACS conference, Paris, 2005, pp. 440-446.

Nabli L., 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, IJICS, VOL. 13, NO. 3, pp. 178-188, September 2008.

Lunze J. and Schroder J. “Sensor and actuator fault diagnosis of systems with discrete input and output” Automatica, 2000.

Zineb Simeu- Abazi et al. Fault diagnosis for discrete event systems: modeling and verification. Reliability Engineering et System Safety. Volume 95, Issue 4, April 2010, PP 369-378

Dhouibi H., Collart Dutilleul S., Nabli L., Craye E. Using Interval Constrained Petri Nets for reactive control design: a tobacco manufacturing application; The international journal for manufacturing science et production, Volume 9, NOs, 3-4, pp. 217-229, 2008.

Zhao, Y., Bi, G., Modeling of complex rolling multi-agent system, (2012) International Review on Computers and Software (IRECOS), 7 (7), pp. 3532-3537.

Fliss, I., Tagina, M., Combining coverability and invariants to diagnose multiple faults in discrete-event systems, (2012) International Review on Modelling and Simulations (IREMOS), 5 (4), pp. 1569-1579.

Mazouzi, M., Kallel, O., Hasnaoui, S., Abid, M., Modelling and evaluating a crossbar Switched Fabric CAN Network using stochastic and colored Petri nets, (2012) International Review on Computers and Software (IRECOS), 7 (2), pp. 568-578.

Jalilvand, A., Noroozian, R., Ashouri, A., Modeling and evaluating of protection schemes based on petri nets, (2011) International Review on Modelling and Simulations (IREMOS), 4 (1), pp. 180-187.

Kuo, J.-L., Chao, K.-L., Grid-connected multilevel inverter with intelligent Petri nets controller for ocean current power generation system, (2010) International Review of Electrical Engineering (IREE), 5 (3), pp. 858-869.


  • There are currently no refbacks.

Please send any question about this web site to
Copyright © 2005-2023 Praise Worthy Prize