The Using of Petri nets for Controlling of the Embedded Device

被引：0
|
作者：
Kozusznik, Jan [1 ]
Jezek, David [1 ]
机构：
[1] VSB Tech Univ Ostrava, 17 Listopadu, Ostrava, Czech Republic
来源：
PROCEEDINGS OF THE SECOND INTERNATIONAL AFRO-EUROPEAN CONFERENCE FOR INDUSTRIAL ADVANCEMENT (AECIA 2015) | 2016年 / 427卷
关键词：
Petri net; LED strip; Enactment; Marking; Job; Task;
D O I：
10.1007/978-3-319-29504-6_10
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
With the come of single board computers with sufficient performance and programmable components comes the possibility to program embedded devices using the techniques that are used in desktop or server solutions. This article explains how to use the formalism of Petri nets to control the functions of a device that we developed. Simulation based on The Petri nets runs on the device and controls visual effects that are realized by means of programmable LED strips. This paper in detail describes how the Petri nets based simulation process is interconnected with controlling of LED strips.
引用
收藏
页码：93 / 103
页数：11
相关论文
共 50 条
  • [1] EMBEDDED SYSTEM DESCRIPTION USING PETRI NETS
    REISIG, W
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 284 : 18 - 62
  • [2] DISTRIBUTED EMBEDDED SYSTEMS DESIGN USING PETRI NETS
    Moutinho, Filipe
    Gomes, Luis
    [J]. 2013 23RD INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE LOGIC AND APPLICATIONS (FPL 2013) PROCEEDINGS, 2013,
  • [3] Mining and controlling of flexible manufacturing system using Petri nets
    Hu, Hesuan
    Li, Zhiwu
    Wang, Anrong
    [J]. DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES B-APPLICATIONS & ALGORITHMS, 2006, 13 : 187 - 191
  • [4] Controlling Boundedness for Live Petri Nets
    Lomazova, Irina
    Popova-Zeugmann, Louchka
    Bartels, Arthur
    [J]. 2017 4TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT), 2017, : 236 - 241
  • [5] Design of embedded control systems using hybrid Petri nets
    Hummel, T
    Fengler, W
    [J]. DESDES '1: PROCEEDINGS OF THE INTERNATIONAL WORKSHOP ON DISCRETE-EVENT SYSTEM DESIGN, 2001, : 189 - 194
  • [6] Simulation and analysis of embedded DSP systems using Petri nets
    Deb, AK
    Öberg, J
    Jantsch, A
    [J]. 14TH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEMS PROTOTYPING, PROCEEDINGS: SHORTENING THE PATH FROM SPECIFICATION TO PROTOTYPE, 2003, : 64 - 70
  • [7] EMBEDDED PROCESSES IN STOCHASTIC PETRI NETS
    HENDERSON, W
    TAYLOR, PG
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1991, 17 (02) : 108 - 116
  • [8] Towards Medical Device Behavioural Validation Using Petri Nets
    Barbosa, Paulo E. S.
    Morais, Misael
    Galdino, Katia
    Andrade, Melquisedec
    Gomes, Luis
    Moutinho, Filipe
    de Figueiredo, Jorge C. A.
    [J]. 2013 IEEE 26TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), 2013, : 4 - 10
  • [9] Modeling and Controlling TGF-β Pathway Using Standard Petri Nets
    Nickaeen, Niloofar
    Ghaisari, Jafar
    Gheisari, Yousof
    [J]. 2015 23RD IRANIAN CONFERENCE ON ELECTRICAL ENGINEERING (ICEE), 2015, : 38 - 43
  • [10] MODELING AND ANALYSIS OF EMBEDDED MULTIMEDIA APPLICATIONS USING COLORED PETRI NETS
    Dey, Soumyajit
    Rokkam, Praveen
    Basu, Anupam
    [J]. INTERNATIONAL JOURNAL OF MODELING SIMULATION AND SCIENTIFIC COMPUTING, 2011, 2 (02) : 169 - 193
12345