Vol-3429⫷ Vol-3430 ⫸Vol-3431
urn:nbn:de:0074-3430-0


Vol-3430/paper5⫷Vol-3430/paper6⫸Vol-3430/paper7

A Symmetric Petri Net Model of Generic Publish-Subscribe Systems for Verification and Business Process Conformance Checking