Modelling opacity using Petri nets /