Petri Nets Based Scheduling Modeling for Embedded Systems
暂无分享,去创建一个
[1] Luis-Alejandro Cortes,et al. A Petri Net based Modeling and Verification Technique for Real-Time Embedded Systems , 2001 .
[2] Robert Esser,et al. An object oriented Petri net approach to embedded system design , 1996 .
[3] Carsten Rust,et al. Pr/T-Net Based Seamless Design of Embedded Real-Time Systems , 2001, ICATPN.
[4] Petru Eles,et al. Modeling and formal verification of embedded systems based on a Petri net representation , 2003, J. Syst. Archit..
[5] Petru Eles,et al. A Survey on Hardware/Software Codesign Representation Models , 1999 .