Some Complexity Results on Transition Systems and Elementary Net Systems

Kunihiko Hiraishi. Some Complexity Results on Transition Systems and Elementary Net Systems. Theoretical Computer Science, 135(2):361-376, 1994.

Abstract

Abstract is missing.