Generalized Net Model of DSP Real-Time Embedded System | IEEE Conference Publication | IEEE Xplore