Maurice Comlan

dblp:202/4567 · DBLP profile ↗
← Back
3ranked-venue papers
1as first author
1since 2021 · last 2022
0000-0003-4060-2666ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 2 · 1 since 2021Software engineering, systems software and programming languages · 1 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 1 · 1 first-author
YearPublicationVenuePosition
2022 Pomset bisimulation and unfolding for reset Petri nets
Thomas Chatain, Maurice Comlan, David Delfieu, Loïg Jezequel, Olivier H. Roux
Inf. Comput.2
2018 Pomsets and Unfolding of Reset Petri Nets
Thomas Chatain, Maurice Comlan, David Delfieu, Loïg Jezequel, Olivier H. Roux
LATA2
2017 Embedding time Petri nets
abstract
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 partially non-autonomous and can be defined as a microcontroller Synchronised Time Petri net (mSTPN).
Maurice Comlan, David Delfieu, Médésu Sogbohossou, Antoine Vianou
CoDIT1