Abstract: As a very important component of secure information system, audit system plays a key role in monitoring the system, insuring proper implementing of security policy and building Intrusion Detection System. This paper introduces a subclass of Petri net--tem

Key words: Audit,Temporal Petri nets, Buffer, Verification