Xiaobo Fan Carla Schlatter Ellis Alvin R. Lebeck Modeling of DRAM Power Control Policies Using Deterministic and Stochastic Petri Nets. 130-140 2002 conf/pacs/2002 PACS http://link.springer.de/link/service/series/0558/bibs/2325/23250130.htm db/conf/pacs/pacs2002.html#FanEL02