Petri-net-based context-related access control in workflow environment | IEEE Conference Publication | IEEE Xplore