Colored Petri net Model for Secure Document Management in Business Process Systems. - Imen Chaouachi Allani; Belhassen Zouari; Chirine Ghedira (CoDIT, 2018)