A Contingency Model for Large Ceremony Based on Petri Net | IEEE Conference Publication | IEEE Xplore