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.