@incollection{Carstensen,
    doi = {10.1007/bfb0017144},
    url = {https://doi.org/10.1007%2Fbfb0017144},
    publisher = {Springer-Verlag},
    pages = {210--219},
    author = {Heino Carstensen},
    title = {Infinite behaviour of deterministic petri nets},
    booktitle = {Lecture Notes in Computer Science}
}

@incollection{Carstensen, doi = {10.1007/bfb0017144}, url = {https://doi.org/10.1007%2Fbfb0017144}, publisher = {Springer-Verlag}, pages = {210--219}, author = {Heino Carstensen}, title = {Infinite behaviour of deterministic petri nets}, booktitle = {Lecture Notes in Computer Science} }