Algorithmic Theory of WQOs

Clote, 1986

Summary

Peter Clote (1986) On the finite containment problem for Petri nets (URL)

BibTeX entry

@ARTICLE { clote,
    AUTHOR = { Peter Clote },
    TITLE = { On the finite containment problem for {P}etri nets },
    JOURNAL = { },
    VOLUME = { 43 },
    PAGES = { 99--105 },
    YEAR = { 1986 },
    DOI = { 10.1016/0304-3975(86)90169-6 },
}