Embedding Time Petri nets - Archive ouverte HAL
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

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. ⟨10.1109/codit.2017.8102625⟩. ⟨hal-01542101⟩
202 Consultations
328 Téléchargements

Altmetric

Partager

More