Lambert, 1992

Summary

Jean Luc Lambert (1992) A structure to decide reachability in Petri nets (URL)

BibTeX entry

@ARTICLE { Lambert92,
    AUTHOR = { Jean Luc Lambert },
    TITLE = { A structure to decide reachability in {Petri} nets },
    JOURNAL = { },
    VOLUME = { 99 },
    NUMBER = { 1 },
    YEAR = { 1992 },
    PAGES = { 79--104 },
    PUBLISHER = { Elsevier },
    DOI = { 10.1016/0304-3975(92)90173-D },
}