Bouali, M. (2009) Contributions à l’analyse formelle et au diagnostic à partir de réseaux de Petri colorés avec l’accessibilité arrière. Doctoral Dissertation, Université de Technologie de Compiègne.

has been cited by the following article:

• TITLE: Implementation of an Iterative Algorithm for the Construction of Incidence Matrices for Generalized Petri Nets

  AUTHORS: Emile Niyongabo, Jérémie Ndikumagenge, Zihindula Mushengezi Elie, Hilaire Nkunzimana

  KEYWORDS: Petri Nets, Modelling, Iterative Algorithm, Incidence Matrix, Process

  JOURNAL NAME: Open Access Library Journal, Vol.11 No.12, December 30, 2024

  ABSTRACT: The implementation of automated systems that meet the desired functional specifications requires scientifically proven modelling and design tools. The achievement of an automated computing system that meets the set criteria and technical specifications depends on several factors. These include the accuracy and the accuracy of the choice of modelling and design tools, the degree to which they are appropriate and adaptable to the application domain, the nature and setting of the application domain, the functional requirements and the available resources, to name but a few. This paper aims to extend the ontological basis of Petri nets by proposing an iterative algorithm for incidence matrix construction. The paper concludes with a discussion of the results focusing on the accuracy of the designed algorithm and its usability in the implementation of functional, reliable and robust automated systems.