Dynamic access control through Petri net workflows | IEEE Conference Publication | IEEE Xplore