Abstract
We apply Coloured Petri Nets (CPNs) and the CPN Tools to develop a formal model of an embedded system consisting of a power converter and an associated controller. Matlab/Simulink is the de-facto tool for embedded control and system design. Moreover, Matlab/Simulink relies on informal semantics and has limited support for transparent and integrated specification and validation of both the power converter electronics, controller (hardware), and the control logic (software). The contribution of this paper is to develop a timed hierarchical CPN model that mitigates the shortcomings of Simulink by relying on a Petri net formalisation. We demonstrate the application of our approach by developing a fully integrated model of a buck power converter with controller in CPN Tools. Furthermore, we perform time-domain simulation to verify the capability of the controller to serve the control objectives. To validate the developed CPN model, we compare the simulation results obtained in an open-loop configuration with a corresponding implementation in Simulink. The experimental results show correspondence between the CPN model and the Simulink model. As our CPN model reflects the fully integrated system, we are able to compare CPN simulation results to measurements obtained with a corresponding implementation in real hardware/software and compare closed-loop with open-loop configuration. The results show alignment for the steady state while further refinement of the control algorithm and validation is required.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Alcaraz, M., Campos-Rodriguez, R.: A framework based on matlab/simulink for the simulation of DES using petri net models. Int. J. Simul. Model. 18, 420–431 (2019). https://doi.org/10.2507/IJSIMM18(3)479
Barbot, B., Bérard, B., Duplouy, Y., Haddad, S.: Integrating simulink models into the model checker cosmos. In: Khomenko, V., Roux, O.H. (eds.) PETRI NETS 2018. LNCS, vol. 10877, pp. 363–373. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-91268-4_19
Bera, D., van Hee, K., Nijmeijer, H.: Relationship between simulink and petri nets. In: 2014 4th International Conference On Simulation And Modeling Methodologies, Technologies and Applications (SIMULTECH), pp. 12–23, August 2014. https://doi.org/10.5220/0005012000120023
Gutierrez, A., Bressan, M., Jimenez, J.F., Alonso, C.: Real-time emulation of boost inverter using the systems modeling language and petri nets. Math. Comput. Simul. 158, 216–234 (2019). https://doi.org/10.1016/j.matcom.2018.07.011
Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Springer, Heidelberg (1997). https://doi.org/10.1007/978-3-642-60794-3
Jensen, K., Kristensen, L.M., Wells, L.: Coloured petri nets and CPN tools for modelling and validation of concurrent systems. Int. J. Softw. Tools Technol. Transfer 9(3), 213–254 (2007). https://doi.org/10.1007/s10009-007-0038-x
Li, D., Xia, F., Luo, J., Yakovlev, A.: Modelling reversion loss and shoot-through current in switched-capacitor DC-DC converters with petri nets. In: 2019 29th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS), pp. 69–74, July 2019. https://doi.org/10.1109/PATMOS.2019.8862124
Mboup, A.B., Guerin, F., Ndiaye, P.A., Lefebvre, D.: Petri nets control design for hybrid electrical energy systems. In: 2009 American Control Conference, pp. 5012–5017, June 2009. https://doi.org/10.1109/ACC.2009.5159890
Mohamed Lamine, H., Denoun, H., Fekik, A., Benyahia, N., Zaouia, M., Benamrouche, N.: A Comparison Between PWM and Petri Nets Control Applied for Series Multi-cells Chopper, October 2017
Mohan, N., Undeland, T.M., Robbins, W.P.: Power Electronics: Converters, Applications, and Design, 2nd edn. Wiley, New York (1995)
Ormaetxea, E., et al.: Matrix converter protection and computational capabilities based on a system on chip design with an FPGA. IEEE Trans. Power Electron. 26(1), 272–287 (2011). https://doi.org/10.1109/TPEL.2010.2062539
Ortiz, L., Gutiérrez, L.B., González, J.W., Águila, A.: A novel strategy for dynamic identification in AC/DC microgrids based on ARX and Petri Nets. Heliyon 6(3), e03559 (2020). https://doi.org/10.1016/j.heliyon.2020.e03559
Salinas, F., González, M.A., Escalante, M.F., de León Morales, J.: Control design strategy for flying capacitor multilevel converters based on petri nets. IEEE Trans. Industr. Electron. 63(3), 1728–1736 (2016). https://doi.org/10.1109/TIE.2015.2494535
Singh, N.K., Saha, I.: Specification-guided automated debugging of CPS models. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11), 4142–4153 (2020). https://doi.org/10.1109/TCAD.2020.3012862
Sokolov, D., Khomenko, V., Mokhov, A., Dubikhin, V., Lloyd, D., Yakovlev, A.: Automating the design of asynchronous logic control for AMS electronics. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(5), 952–965 (2020). https://doi.org/10.1109/TCAD.2019.2907905
Szcześniak, P., Grobelna, I., Novak, M., Nyman, U.: Overview of control algorithm verification methods in power electronics systems. Energies 14(14), 4360 (2021). https://doi.org/10.3390/en14144360
Wiśniewski, R.: Dynamic partial reconfiguration of concurrent control systems specified by petri nets and implemented in Xilinx FPGA devices. IEEE Access 6, 32376–32391 (2018). https://doi.org/10.1109/ACCESS.2018.2836858
Wisniewski, R., Bazydło, G., Szcześniak, P., Grobelna, I., Wojnakowski, M.: Design and verification of cyber-physical systems specified by petri nets—a case study of a direct matrix converter. Mathematics 7(9), 812 (2019). https://doi.org/10.3390/math7090812
Wiśniewski, R., Bazydło, G., Szcześniak, P., Wojnakowski, M.: Petri net-based specification of cyber-physical systems oriented to control direct matrix converters with space vector modulation. IEEE Access 7, 23407–23420 (2019). https://doi.org/10.1109/ACCESS.2019.2899316
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 Springer Nature Switzerland AG
About this paper
Cite this paper
Steinsland, V., Kristensen, L.M., Zhang, S. (2022). Towards the Application of Coloured Petri Nets for Design and Validation of Power Electronics Converter Systems. In: Bernardinello, L., Petrucci, L. (eds) Application and Theory of Petri Nets and Concurrency. PETRI NETS 2022. Lecture Notes in Computer Science, vol 13288. Springer, Cham. https://doi.org/10.1007/978-3-031-06653-5_1
Download citation
DOI: https://doi.org/10.1007/978-3-031-06653-5_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-06652-8
Online ISBN: 978-3-031-06653-5
eBook Packages: Computer ScienceComputer Science (R0)