Abstract: Embedded systems have numerous applications in everyday life. Petri-net-based representation for embedded systems (PRES+) is an important methodology for the modeling and analysis of these ...

Abstract: The operating characteristics of proton exchange membrane fuel cell (PEMFC) generation systems will change at high altitudes. In order to improve the system output performance, this article ...