Maria Grazia Fugini Giancarlo Martella A Petri-net model of access control mechanisms. 53-63 1988 13 Inf. Syst. 1 db/journals/is/is13.html#FuginiM88