Sunil Hingorani, Oliver Heim. A test suite for exposing design and implementation details in petri net simulators. In Robert Geist, editor, Proceedings of the 33th Annual Southeast Regional Conference, 1995, Clemson, South Carolina, USA, March 17-18, 1995. pages 24-29, ACM, 1995. [doi]
Abstract is missing.