Embedding Time Petri nets
| Auteur | COMLAN, MAURICE | |
| Auteur | DELFIEU, DAVID | |
| Auteur | SOGBOHOSSOU, MEDESU | |
| Auteur | VIANOU, ANTOINE | |
| Date d'ajout | 2026-06-02T16:06:57Z | |
| Date de disponibilite | 2026-06-02T16:06:57Z | |
| Date de publication | 2017 | |
| Resume | 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 par- tially non-autonomous and can be defined as a microcontroller Synchronised Time Petri net (mSTPN). | |
| Autre identifiant | BECDB-7332 | |
| URI | https://dspace.uac.bj/handle/123456789/6601 | |
| Langue | fr | |
| Fait partie de | CoDIT | |
| Titre | Embedding Time Petri nets | |
| Type | Article |