Algorithmic Theory of WQOs

Mayr, 1981

Summary

Ernst W. Mayr (1981) An Algorithm for the General Petri Net Reachability Problem STOC'81 ACM 238–246 (URL)

BibTeX entry

@INPROCEEDINGS { Mayr81,
    AUTHOR = { Ernst W. Mayr },
    TITLE = { An Algorithm for the General {Petri} Net Reachability Problem },
    BOOKTITLE = { STOC'81 },
    YEAR = { 1981 },
    PAGES = { 238--246 },
    PUBLISHER = { ACM },
    DOI = { 10.1145/800076.802477 },
}