In: 20th International Conference on Application and Theory of Petri Nets: Petri Net Tool Presentations, pages 10-19. College of William and Mary, Williamsburg, Virginia, USA, June 1999.
Also in: s100090100055: Software Tools For Technology Transfer; DOI 10.1007. Springer Verlag Online First, July 25 2001.