Shared Subnet Synthesis of Object-Oriented Petri Net Based Representation for Embedded Systems

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.