Embedding Time Petri nets

Simple item page
dc.contributor.authorComlan, Maurice
dc.contributor.authorDELFIEU, DAVID
dc.contributor.authorSOGBOHOSSOU, MEDESU
dc.contributor.authorVIANOU, Antoine
dc.date.accessioned2026-06-02T16:06:57Z
dc.date.available2026-06-02T16:06:57Z
dc.date.issued2017
dc.description.abstractThis 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).
dc.identifier.otherBECDB-7332
dc.identifier.urihttps://dspace.uac.bj/handle/123456789/6601
dc.language.isofr
dc.relation.ispartofCoDIT
dc.titleEmbedding Time Petri nets
dc.typeArticle

Files

Collections

Articles