Skip to Main content Skip to Navigation
Conference papers

Embedding Time Petri nets

Abstract : —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).
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01542101
Contributor : David Delfieu <>
Submitted on : Monday, June 19, 2017 - 3:27:02 PM
Last modification on : Tuesday, June 23, 2020 - 2:42:01 PM
Long-term archiving on: : Friday, December 15, 2017 - 5:50:53 PM

File

CoDIT17_paper_153.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01542101, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

351

Files downloads

666