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.
@inproceedings{Desel92,
title = {A Proof of the Rank Theorem for Extended Free Choice Nets},
author = {Jörg Desel},
year = {1992},
researchr = {https://researchr.org/publication/Desel92},
cites = {0},
citedby = {0},
pages = {134-153},
booktitle = {Application and Theory of Petri Nets 1992, 13th International Conference, Sheffield, UK, June 22-26, 1992, Proceedings},
editor = {Kurt Jensen},
volume = {616},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-55676-1},
}