In: Proceedings of the IEEE 1988 International Symposium on Information Theory, Kobe, Japan; abstracts of papers, Vol. 25, No. 13, pages 1-240. Piscataway, NJ, USA: IEEE Service Center, 1988.
Abstract: The complexity of verifying a concurrent system grows exponentially as the number of functions and states in the system increases. To avoid this state explosion problem the authors propose a synthesis approach using Petri nets.