Colored Petri net Model for Secure Document Management in Business Process Systems | IEEE Conference Publication | IEEE Xplore