Abstract
Reactive and concurrent embedded systems execute restricted algorithms depending on the requirements. It is possible to implement one of these hardware-software systems by using a Petri Net Processor. If logic and policy are decoupled from the system actions, then we can improve maintainability and system validation. To achieve this, the Petri Processor is integrated with other traditional processors, forming a heterogeneous multi-core processor, which allows to verify the system using Petri Net mathematical formalisms. In this article, a Modular Petri Processor Architecture is exposed, as well as the inclusion of programmable queues that enhance maintainability, module re-usage and semantic extension.
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
References
Munir, A., Gordon-Ross, A., Ranka, S.: Modeling and Optimization of Parallel and Distributed Embedded Systems. Wiley Press, New York (2016)
Gamatié, A.: Designing Embedded Systems with the Signal Programming Language: Synchronous, Reactive Specification. Springer, New York (2009). https://doi.org/10.1007/978-1-4419-0941-1
Micolini, O.: Arquitectura asimétrica multicore con procesador de Petri, Facultad de Informática: La Plata, Argentina, Ph.D. thesis (2015)
Bainomugisha, E., et al.: A survey on reactive programming. ACM Comput. Surv. (CSUR) 45(4), 52 (2013)
Moutinho, F., Gomes, L.: Distributed Embedded Controller Development with Petri Nets: Application to Globally-Asynchronous Locally-Synchronous Systems, vol. 150, pp. 43–67. Springer, Heidelberg (2015). https://doi.org/10.1007/978-3-319-20822-0
Haustermann, M.: Applications of Petri Nets (2017). https://www.informatik.uni-hamburg.de/TGI/PetriNets/applications/
Diaz, M.: Petri Nets Fundamental Models, Verification and Applications. Wiley Inc., Hoboken (2009)
David, R., Alla, H.: Discrete, Continuous, and Hybrid Petri Nets. Springer, Heidelberg (2010)
Hopcroft, J., Motwani, R., Ullman, J.: Introduction to Automata Theory, Languages, and Computation. Prentice Hall, London (2006)
Popova-Zeugmann, L.: Time and Petri Nets. Springer, Heidelberg (2013)
Micolini, O., et al.: Procesador de Petri para la Sincronización de Sistemas Multi-Core Homogéneos. In: CASE Congreso Argentino de Sistemas Embebidos (2012)
Xilinx, I.: Microblaze processor reference guide. Reference manual 23 (2011)
Wu, N., Zhou, M.C.: System Modeling and Control with Resource-Oriented Petri Nets. CRC Press, Boca Raton (2010)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
Micolini, O., Daniele, E.N., Ventre, L.O. (2018). Modular Petri Net Processor for Embedded Systems. In: De Giusti, A. (eds) Computer Science – CACIC 2017. CACIC 2017. Communications in Computer and Information Science, vol 790. Springer, Cham. https://doi.org/10.1007/978-3-319-75214-3_19
Download citation
DOI: https://doi.org/10.1007/978-3-319-75214-3_19
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-75213-6
Online ISBN: 978-3-319-75214-3
eBook Packages: Computer ScienceComputer Science (R0)