[en] Petri-net; [en] State Machine; [en] Graph colouring problem
Abstract :
[en] 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.
Disciplines :
Mathematics
Author, co-author :
Skrylnyk, Oleksandr ; Université de Mons > Faculté Polytechnique > Thermodynamique, Physique mathématiques
Language :
English
Title :
Using the event-driven Petri net in complex distributed systems design