Handling concurrent requests in a secret sharing based storage system using Petri Nets | IEEE Conference Publication | IEEE Xplore