Building a stateful reference monitor with coloured petri nets