Jörg Desel. A Proof of the Rank Theorem for Extended Free Choice Nets. In Kurt Jensen, editor, Application and Theory of Petri Nets 1992, 13th International Conference, Sheffield, UK, June 22-26, 1992, Proceedings. Volume 616 of Lecture Notes in Computer Science, pages 134-153, Springer, 1992.
Abstract is missing.