Kunihiko Hiraishi. Reducted State Space Representation for Unbounded Vector State Spaces. In Jonathan Billington, Wolfgang Reisig, editors, Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings. Volume 1091 of Lecture Notes in Computer Science, pages 230-248, Springer, 1996.
Abstract is missing.