Liveness and Boundedness Preservations of Sharing Synthesis of Petri Net Based Representation for Embedded Systems
Chuanliang Xia, Bin Shen, Hailin Zhang, Yigui Wang · Computer Systems Science and Engineering · 2018
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 ... | Find, read and cite all the research you need on Tech Science Press