Hazard Analysis of Bidder Collusion in Reverse Auctions Based on Petri Nets | IEEE Journals & Magazine | IEEE Xplore