A Petri-Net Model for the Publish-Subscribe Paradigm and Its Application for the Verification of the BonjourGrid Middleware | IEEE Conference Publication | IEEE Xplore