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

Des réseaux de Petri à Arduino. Comment embarquer des réseaux de Petri Temporelx sur une architecture à micro-controller

David Delfieu (1) , Maurice Comlan (2)

1 LS2N - Laboratoire des Sciences du Numérique de Nantes
2 EPAC - Ecole Polytechnique d'Abomey Calavi

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.

Mots clés: Firing semantics; Embedded systems; Code generation; Microcontroller; Time Petri Nets

Domaines: Théorie et langage formel [cs.FL]; Systèmes embarqués

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