Embedded System Modeling Based on Petri Net