Micro blog topic propagation modeling based on timed Petri-Net | IEEE Conference Publication | IEEE Xplore