- Article
 
Property Preservation of Object-Oriented Petri Reduction Net Based Representation for Embedded Systems
- Chuanliang Xia,
 - Yan Sun,
 - Bin Shen and
 - Maibo Guo
 
Embedded systems are widely used in automotive electronics, smart home, smart medical, aerospace and other fields. Aiming at the problem of formal modeling and verification analysis of embedded systems, a solution is proposed using extended Petri net...

