@article{Agerwala_1973,
    doi = {10.1145/633642.803973},
    url = {https://doi.org/10.1145%2F633642.803973},
    year = {1973},
    month = {dec},
    publisher = {Association for Computing Machinery ({ACM})},
    volume = {2},
    number = {4},
    pages = {81--86},
    author = {Tilak Agerwala and Mike Flynn},
    title = {Comments on capabilities, limitations and {\textquotedblleft}correctness{\textquotedblright} of Petri nets},
    journal = {{ACM} {SIGARCH} Computer Architecture News}
}

@article{Agerwala_1973, doi = {10.1145/633642.803973}, url = {https://doi.org/10.1145%2F633642.803973}, year = {1973}, month = {dec}, publisher = {Association for Computing Machinery ({ACM})}, volume = {2}, number = {4}, pages = {81--86}, author = {Tilak Agerwala and Mike Flynn}, title = {Comments on capabilities, limitations and {\textquotedblleft}correctness{\textquotedblright} of Petri nets}, journal = {{ACM} {SIGARCH} Computer Architecture News} }