Video shot boundary detection using Petri-Net | IEEE Conference Publication | IEEE Xplore