Login
Register
Submit a Paper
Propose a Special lssue
Open Access
ARTICLE
Liveness and Boundedness Preservations of Sharing Synthesis of Petri Net Based Representation for Embedded Systems
School of Computer Science and Technology, Shandong Jianzhu University, Jinan, 250101, China
* Corresponding Author: E-mail:
Computer Systems Science and Engineering 2018, 33(5), 345-350. https://doi.org/10.32604/csse.2018.33.345
Download PDFAbstract
Petri net based Representation for Embedded Systems (PRES+) is an outstanding methodology for analysis, modeling and verification of embedded systems. State space explosion is an awful problem for PRES+ to model and analyze large complex embedded systems. In order to solve this problem, we concern with a method for expending PRES+ model by using synthesis approach. A kind of sharing synthesis operation for PRES+ is proposed in this paper. Under some conditions liveness and boundedness will be preserved by using this sharing synthesis approach. An applicable example in the form of an embedded control system illustrates the useful of our synthesis method. These results can be nicely used to investigate dynamic properties of large embedded systems.Keywords
Cite This Article
APA Style
Xia, C., Shen, B., Zhang, H., Wang, Y. (2018). Liveness and boundedness preservations of sharing synthesis of petri net based representation for embedded systems. Computer Systems Science and Engineering, 33(5), 345-350. https://doi.org/10.32604/csse.2018.33.345
Vancouver Style
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. 2018;33(5):345-350 https://doi.org/10.32604/csse.2018.33.345
IEEE Style
C. Xia, B. Shen, H. Zhang, and Y. Wang, “Liveness and Boundedness Preservations of Sharing Synthesis of Petri Net Based Representation for Embedded Systems,” Comput. Syst. Sci. Eng., vol. 33, no. 5, pp. 345-350, 2018. https://doi.org/10.32604/csse.2018.33.345
Citations
Copyright © 2018 The Author(s). Published by Tech Science Press.This work is licensed under a Creative Commons Attribution 4.0 International License , which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Downloads
Citation Tools
