Content area

Abstract

Translate

Conference Title: 2017 4th International Conference on Control, Decision and Information Technologies (CoDIT)

Conference Start Date: 2017, April 5

Conference End Date: 2017, April 7

Conference Location: Barcelona, Spain

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).

Details

Key topics
Powered by Web of Science® Description for Powered by Web of Science
Petri net;
Petri;
Microcontroller;
Arduino
Subject
Petri nets;
Semantics;
Architecture;
Time synchronization;
Programmable logic controllers;
Sketches;
Information technology;
Imports
Identifier / keyword
Petri net; Petri; Microcontroller; Arduino
Title
Embedding time Petri nets
Author
Comlan, Maurice; Delfieu, David; Sogbohossou, Medesu; Vianou, Antoine
Publication title
The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings; Piscataway
Source details
2017 4th International Conference on Control, Decision and Information Technologies (CoDIT)
Pages
0404-0409
Number of pages
6
Publication year
2017
Publication date
2017
Publisher
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Place of publication
Piscataway
Country of publication
United States
Publication subject
Engineering--Electrical Engineering
Source type
Conference Paper
Language of publication
English
Document type
Conference Proceedings
ProQuest document ID
1962319011
Document URL
https://www.proquest.com/conference-papers-proceedings/embedding-time-petri-nets/docview/1962319011/se-2?accountid=208611
Copyright
Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2017
Last updated
2024-10-02
Database
ProQuest One Academic