Abstract
Embedded systems have been widely used in various fields, such as smart cities, automotive electronics, and 5G chips, etc. In order to solve the modeling problem of embedded systems, a solution is obtained using an extended Petri net synthesis operation. For the object-oriented Petri net based representation for embedded systems (OOPRES+), a kind of shared object subnet synthesis operation method is proposed. The preservation of liveness and boundedness of the synthesis net system has been investigated to alleviate the problem of state space explosion of OOPRES+. The modeling and analysis of an intelligent transportation system illustrates the effectiveness of the synthesis method. Results obtained provide a favorable means for the modeling of the large-scale complex embedded systems.
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
Similar content being viewed by others
References
Tausan, N., Markkula, J., Kuvaja, P., Oivo, M.: Choreography in the embedded systems domain: a systematic literature review. Inform. Software. Tech. 91, 82–101 (2017)
Stoutchini, A., Benini, L.: StreamDrive: a dynamic dataflow framework for clustered embedded architectures. J. Signal Process. Syst. 91, 630–640 (2019)
Offutt, J., Thumala, S.: Testing concurrent user behavior of synchronous web applications with Petri nets. Softw. Syst. Model. 18, 913–936 (2019)
Wu, D., Schnieder, E.: Scenario-based system design with colored Petri nets: an application to train control systems. Softw. Syst. Model. 17, 295–317 (2018)
Gutierrez, A., Bressan, M., Jimenez, J.F., Alonso, C.: Real-time emulation of boost inverter using the systems modeling language and Petri nets. Mathe. Comput. Simulat. 158, 216–234 (2019)
Cortés, L.A., Eles, P., Peng, Z.: Modeling and formal verification of embedded systems based on a Petri net based representation. J. Syst. Architect. 49, 571–598 (2003)
Wu, Z., Wang, X., Jiao, Y., Zhu, Y., Zhou, J.: Guidance performance evaluation method for infrared imaging guided missile based on extended object-oriented Petri net. Optik – Int. J. Light Electron Opt. 185, 88–96 (2019)
Zhao, N., Yu, Y., Wang, J., Xie, Z., Yang, Z., Cheng, L.: An extended object-oriented petri net supporting the description and evolution of components: EOOPN. Cluster. Comput. 22, 2701–2708 (2019)
Zhang, L., Jiao, J.: Modeling production configuration using nested colored object-oriented Petri-nets with changeable structures. J. Intell. Manuf. 20, 359–378 (2009)
Xia, C., Sun, Y., Shen, B., Guo, M.: Property preservation of object-oriented Petri reduction net based representation for embedded systems. Electronics 12, 1955 (2023)
Tredup, R.: Synthesis of Petri nets with restricted place-environments: classical and parameterized. In: Buchs, D., Carmona, J. (eds.) PETRI NETS 2021. LNCS, vol. 12734, pp. 292–311. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-76983-3_15
Sha, J., Du, Y., Qi, L.: A user requirement oriented web service discovery approach based on logic and threshold Petri net. IEEE-CAA J. Automatic 6(6), 1528–1542 (2019)
Liu, G., Li, P., Li, Z., Wu, N.: Robust deadlock control for automated manufacturing systems with unreliable resources based on Petri net reachability graphs. IEEE Trans. Syst. Man Cybern. Syst. 49(7), 1371–1385 (2018)
Hu, Q., Du, Y.Y., Yu, S.: Service net algebra based on logic Petri nets. Inf. Sci. 268, 271–289 (2014)
Xia, C.: Analysis of properties of Petri synthesis net. In: Jin-Yi Cai, S., Cooper, B., Li, A. (eds.) TAMC 2006. LNCS, vol. 3959, pp. 576–587. Springer, Heidelberg (2006). https://doi.org/10.1007/11750321_55
Basile, F., Caccavale, F., Chiacchio, P., Coppola, J., Marino, A., Gerbasio, D.: Automated synthesis of hybrid Petri net models for robotic cells in the aircraft industry. Control. Eng. Pract. 31, 35–49 (2014)
Best, E., Devillers, R.: Characterisation of the state spaces of marked graph Petri nets. Inf. Comput. 253, 399–410 (2017)
Dideban, A., Zeraatkar, H.: Petri Net controller synthesis based on decomposed manufacturing models. ISA T. 77, 90–99 (2018)
Ahmed, A., Koutny, M., Pietkiewicz-KoutnyXiang, M.: Synthesising elementary net systems with localities. Theor. Comput. Sci. 908, 123–140 (2022)
Xia, C., Li, C.: Property preservation of Petri synthesis net based representation for embedded systems. IEEE-CAA J. Automatic. 8(04), 905–915 (2021)
Xia, C., Shen, B., Zhang, H., Wang, Y.: Liveness and boundedness preservations of sharing synthesis of Petri net based representation for embedded systems. Comput. Syst. Sci. Eng. 33(5), 345–350 (2018)
Acknowledgments
This research was funded by the Natural Science Foundation of Shandong Province (Grant: ZR2022MF348).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2024 The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Xia, C., Zan, Y. (2024). Shared Subnet Synthesis of Object-Oriented Petri Net Based Representation for Embedded Systems. In: Huang, DS., Zhang, X., Zhang, C. (eds) Advanced Intelligent Computing Technology and Applications. ICIC 2024. Lecture Notes in Computer Science(), vol 14879. Springer, Singapore. https://doi.org/10.1007/978-981-97-5675-9_7
Download citation
DOI: https://doi.org/10.1007/978-981-97-5675-9_7
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-97-5674-2
Online ISBN: 978-981-97-5675-9
eBook Packages: Computer ScienceComputer Science (R0)