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 to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
A “semaphore” is the special shared variable that is used by the classical mechanism for regulating access to shared resources [3].
References
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)
Girault, C., Valk, R.: Petri nets for Systems Engineering. Springer, New York (2002)
Ii, J.D.D.: Computer Architecture: Fundamentals and Principles of Computer Design. CRC Press, Boca Raton, FL (2005)
IT4Innovations: What is IT4Innovations? http://www.it4i.cz/what-is-it4innovations/?lang=en. Acccessed 06 June 2014
Kozusznik, J., Seidl, D., Stolfa, S., Stolfa, J.: Construction of Supercomputer Demonstration Tool. http://www.kozusznik.cz/resources/docs/cisim_2014.pdf
Petri, C., Reisig, W.: Petri net. Scholarpedia 3(4), 6477 (2008)
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)
Tanenbaum, A.S.: Modern Operating Systems. Prentice Hall, Upper Saddle River, N.J (2007)
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
Corresponding author
Editor information
Editors and Affiliations
Rights 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)