Abstract
The rigorous digital design of embedded Application Specific Logic Controllers starts from algorithm designed with concurrent hierarchical control interpreted Petri net and then implemented into FPGA. But, there could be required to have several contexts of work mode of such device. The classic design flows includes all contexts in one control algorithm together with switching handling. The design flow proposed in this paper uses feature of dynamic partial reconfiguration of new FPGA devices. There is proposed a way of design of a top level Petri net and subnets describing particular contexts and its connections. The rules of implementation are also formed.
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
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Adamski, M., Monteiro, J.L., Fengler, W., Wendt, A.: A distributed Petri net-based discrete controller system. In: Proceedings of the Conference on Automatic Control, Control 1996, Porto, Portugal, vol. 2, pp. 777–782 (1996)
Adamski, M., Wȩgrzyn, M.: Petri nets mapping into reconfigurable logic controllers. Electronics and Telecommunications Quarterly 55(2), 157–182 (2009)
Biliński, K., Adamski, M., Saul, J., Dagless, E.: Petri-net-based algorithms for parallel-controller synthesis. IEE Proceedings – Computers and Digital Techniques 141(6), 405–412 (1994)
Bukowiec, A., Adamski, M.: Synthesis of Petri nets into FPGA with operation flexible memories. In: Proceedings of the IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2012, Tallinn, Estonia, pp. 16–21 (2012)
Bukowiec, A., Wȩgrzyn, M.: Design of logic controllers for safety critical systems using FPGAs with embedded microprocessors. In: Colnaric, M., Halang, W.A., Wȩgrzyn, M. (eds.) Real-Time Programming 2004. A Proceedings Volume from the 28th IFAC/IFIP Workshop, WRTP 2004, pp. 97–102. Elsevier, Oxford (2005)
Chang, N., Kwon, W.H., Park, J.: Hardware implementation of real-time Petri-net-based controllers. Control Engineering Practice 6(7), 889–895 (1998), http://www.sciencedirect.com/science/article/pii/S0967066198000768
Esparza, J., Silva, M.: On the analysis and synthesis of free choice systems. In: Rozenberg, G. (ed.) APN 1990. LNCS, vol. 483, pp. 243–286. Springer, Heidelberg (1991)
Gniewek, L., Kluska, J.: Hardware implementation of fuzzy Petri net as a controller. IEEE Transactions on Systems, Man, and Cybernetics – Part B: Cybernetics 34(3), 1315–1324 (2004)
Gomes, L., Costa, A., Barros, J., Lima, P.: From Petri net models to VHDL implementation of digital controllers. In: 33rd Annual Conference of the IEEE Industrial Electronics Society, IECON 2007, pp. 94–99. IEEE, Taipei (2007)
Karatkevich, A.: Dynamic Analysis of Petri Net-Based Discrete Systems. LNCIS, vol. 356. Springer, Berlin (2007)
Karatkevich, A.: On macroplaces in Petri nets. In: Proceedings of IEEE East-West Design & Test Symposium, EWDTS 2008, pp. 418–422. IEEE, Lviv (2008)
Koch, D.: Partial Reconfiguration on FPGAs. LNCIS, vol. 153. Springer, New York (2013)
Kozłowski, T., Dagless, E., Saul, J., Adamski, M., Szajna, J.: Parallel controller synthesis using Petri nets. IEE Proceedings – Computers and Digital Techniques 142(4), 263–271 (1995)
Łabiak, G., Adamski, M., Doligalski, M., Tkacz, J., Bukowiec, A.: UML modelling in rigorous design methodology for discrete controllers. International Journal of Electronics and Telecommunications 58(1), 27–34 (2012)
Ma, L., Xia, F., Peng, Z.: Integrated design and implementation of embedded control systems with scilab. Sensors 8(9), 5501–5515 (2008)
Milik, A., Hrynkiewicz, E.: Reconfigurable logic controller, architecture, programming, implementation. In: Ciazynski, W., Hrynkiewicz, E., Klosowski, P. (eds.) Programmable Devices and Systems 2001. A Proceedings Volume from the 5th IFAC Workshop, PDS 2001, pp. 163–168. Pergamon, London (2002)
Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77(4), 541–580 (1989), http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=24143
Nhivekar, G.S., Nirmale, S.S., Mudholker, R.: Implementation of fuzzy logic control algorithm in embedded microcomputers for dedicated application. International Journal of Engineering, Science and Technology 3(4), 276–283 (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bukowiec, A., Doligalski, M. (2013). Petri Net Dynamic Partial Reconfiguration in FPGA. In: Moreno-Díaz, R., Pichler, F., Quesada-Arencibia, A. (eds) Computer Aided Systems Theory - EUROCAST 2013. EUROCAST 2013. Lecture Notes in Computer Science, vol 8111. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-53856-8_55
Download citation
DOI: https://doi.org/10.1007/978-3-642-53856-8_55
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-53855-1
Online ISBN: 978-3-642-53856-8
eBook Packages: Computer ScienceComputer Science (R0)