Skip to Main content Skip to Navigation
Journal articles

Petri Nets to Arduino (PN2A) Embedding Time Petri Nets into a Microcontroller Architecture

Abstract : This paper presents a tool which embeds Time Petri Nets into Arduino micro-controller boards. Time elapsing is mimicked by a timer that is acting on a set of clock variables. Embedding a network makes it not autonomous. Model simulations are now truly dependent and time-dependent of external stimuli on micro-controller pins. Indeed, firings of transitions are now also conditioned to predefined events observed on the pins. This paper defines the semantics, the algorithm of the token player, describes the code generation and the use of the tool.
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-02454089
Contributor : David Delfieu <>
Submitted on : Wednesday, January 29, 2020 - 9:35:52 AM
Last modification on : Tuesday, January 5, 2021 - 4:26:08 PM
Long-term archiving on: : Thursday, April 30, 2020 - 12:21:59 PM

File

revue_Format_Neutre.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02454089, version 1

Citation

David Delfieu, Maurice Comlan. Petri Nets to Arduino (PN2A) Embedding Time Petri Nets into a Microcontroller Architecture. SCEE, Pr. Mohamed N. HARMAS, 2019, 1 (2), pp.12-25. ⟨hal-02454089⟩

Share

Metrics

Record views

92

Files downloads

243