DI-UMONS : Dépôt institutionnel de l’université de Mons

Recherche transversale
(titres de publication, de périodique et noms de colloque inclus)
2009-03-18 - Colloque/Présentation - communication orale - Anglais - 1 page(s)

Skrylnyk Oleksandr , "Using the event-driven Petri net in complex distributed systems design" in 28th Benelux Meeting on Systems and Contol, Spa, Belgique, 2009

  • Codes CREF : Modèles mathématiques d'aide à la décision (DI1151), Théorie des graphes (DI1146), Théorie des ensembles et catégories (DI1143)
  • Unités de recherche UMONS : Thermodynamique, Physique mathématique (F506)
Texte intégral :

Abstract(s) :

(Anglais) Real-time systems stand as an assembly of hardware and software to perform a set of defined operations. Depending on the system’s architecture, the communication procedure is a crucial problem that the developer faces within the system design. In many cases, the reliability of a process run of main operations is assured with appropriate software conceived to manage the system’s resources in order to avoid any conflict in communication procedure. In this work we present a formal approach to conceptualize and implement the software’s algorithm for distributed systems equipped with human-machine interface.

Mots-clés :
  • (Anglais) Petri-net
  • (Anglais) State Machine
  • (Anglais) Graph colouring problem