Petri Nets to Arduino (PN2A) Embedding Time Petri Nets into a Microcontroller Architecture - Archive ouverte HAL
Article Dans Une Revue SCEE Année : 2019

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

Maurice Comlan

Résumé

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.
Fichier principal
Vignette du fichier
revue_Format_Neutre.pdf (2.88 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-02454089 , version 1 (29-01-2020)

Identifiants

  • HAL Id : hal-02454089 , version 1

Citer

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⟩
108 Consultations
167 Téléchargements

Partager

More