Algorithmic Theory of WQOs

McAloon, 1984

Summary

Kenneth McAloon (1984) Petri nets and large finite sets (URL)

BibTeX entry

@ARTICLE { mcaloon,
    AUTHOR = { Kenneth McAloon },
    TITLE = { Petri nets and large finite sets },
    JOURNAL = { },
    VOLUME = { 32 },
    NUMBER = { 1--2 },
    PAGES = { 173--183 },
    YEAR = { 1984 },
    DOI = { 10.1016/0304-3975(84)90029-X },
}