Formalism of the Access Control Model Based on the Marqued Petri Nets. - Abderrahim Ghadi; Driss Mammass; Maurice Mignotte; Alain Sartout (FGCN (2), 2008)