Míreanna comhchosúla: Application and Theory of Petri Nets 1998 :