Brad C. Gaylord, David A. Gustafson. Requirements analysis using Petri nets. In Bill Healy, Judith D. Schlesinger, editors, Proceedings of the 1985 ACM annual conference on The range of computing: mid-80's perspective: mid-80's perspective, Denver, Colorado, USA, October 14-16, 1985. pages 194-198, ACM, 1985. [doi]
Abstract is missing.