Algorithmic Theory of WQOs
Clote, 1986
Summary
(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 },
}