Skip to main content
SpringerLink
Log in
Book cover

Proceedings of the Second International Afro-European Conference for Industrial Advancement AECIA 2015 pp 93–103Cite as

The Using of Petri nets for Controlling of the Embedded Device

  • Conference paper
  • First Online:

  • 905 Accesses

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 427))

Abstract

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Notes

  1. 1.

    A “semaphore” is the special shared variable that is used by the classical mechanism for regulating access to shared resources [3].

References

  1. Fernández, J.L., Sanz, R., Domonte, E.P., Alonso, C.: Using hierarchical binary Petri nets to build robust mobile robot applications: RoboGraph. In: ICRA, pp. 1372–1377. IEEE (2008)

    Google Scholar 

  2. Girault, C., Valk, R.: Petri nets for Systems Engineering. Springer, New York (2002)

    Google Scholar 

  3. Ii, J.D.D.: Computer Architecture: Fundamentals and Principles of Computer Design. CRC Press, Boca Raton, FL (2005)

    Google Scholar 

  4. IT4Innovations: What is IT4Innovations? http://www.it4i.cz/what-is-it4innovations/?lang=en. Acccessed 06 June 2014

  5. Kozusznik, J., Seidl, D., Stolfa, S., Stolfa, J.: Construction of Supercomputer Demonstration Tool. http://www.kozusznik.cz/resources/docs/cisim_2014.pdf

  6. Petri, C., Reisig, W.: Petri net. Scholarpedia 3(4), 6477 (2008)

    Google Scholar 

  7. Richta, T., Janouśek, V., Kočí, R.: Petri nets-based development of dynamically reconfigurable embedded systems. CEUR Workshop Proceedings, vol. 989, pp. 203–217 (2013)

    Google Scholar 

  8. Tanenbaum, A.S.: Modern Operating Systems. Prentice Hall, Upper Saddle River, N.J (2007)

    Google Scholar 

Download references

Acknowledgments

This research has been supported by the internal grant agency of VSB-TU of Ostrava - SP2015/85: “Knowledge modelling and its applications in software engineering”.

Author information

Authors and Affiliations

  1. VŠB - Technical University Ostrava, 17. listopadu, Ostrava, Czech Republic

    Jan Kožusznik & David Ježek

Authors
  1. Jan Kožusznik
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. David Ježek
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to David Ježek .

Editor information

Editors and Affiliations

  1. Sci. Network for Innovation & Rec. Exell, Machine Intelligence Research Labs (MIR, Auburn, Washington, USA

    Ajith Abraham

  2. Membre du Groupe Efrei, ESIGETEL, Villejuif, France

    Katarzyna Wegrzyn-Wolska

  3. Faculty of Computers & Information, Cairo University, Giza, Egypt

    Aboul Ella Hassanien

  4. VSB-Technical University of Ostrava, Ostrava, Czech Republic

    Vaclav Snasel

  5. ENIS, University of Sfax, Sfax, Tunisia

    Adel M. Alimi

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Kožusznik, J., Ježek, D. (2016). The Using of Petri nets for Controlling of the Embedded Device. In: Abraham, A., Wegrzyn-Wolska, K., Hassanien, A., Snasel, V., Alimi, A. (eds) Proceedings of the Second International Afro-European Conference for Industrial Advancement AECIA 2015. Advances in Intelligent Systems and Computing, vol 427. Springer, Cham. https://doi.org/10.1007/978-3-319-29504-6_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-29504-6_10

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-29503-9

  • Online ISBN: 978-3-319-29504-6

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation