Embedding Time Petri nets - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Embedding Time Petri nets

Résumé

—This paper presents a tool (PN2A) which embeds Time Petri Nets (TPN) to Arduino micro-controller architecture. PN2A imports TPN and generates Arduino sketches, which can be then compiled and uploaded to a micro-controller architecture. Some transitions (resp. places) of the transition set (resp. place set) can be assigned to pins of the micro-controller. Theses two types of transitions generates a new firing semantics combining weak and strong semantics. Embedded, the TPN becomes partially non-autonomous and can be defined as a microcontroller Synchronised Time Petri net (mSTPN).
Fichier principal
Vignette du fichier
CoDIT17_paper_153.pdf (1.88 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01542101 , version 1 (19-06-2017)

Identifiants

  • HAL Id : hal-01542101 , version 1

Citer

Maurice Comlan, David Delfieu, Médésu Sogbohossou, Antoine Vianou. Embedding Time Petri nets. (IEEE) 4th-2017 International Conference on Control, Decision and Information Technologies, Apr 2017, Barcelone, Spain. ⟨hal-01542101⟩
192 Consultations
310 Téléchargements

Partager

Gmail Facebook X LinkedIn More