This is an example of The Visualization Extension For CPN Tools The model was orginally designed by K. Jensen