@incollection{Abdulla_2001,
    doi = {10.1007/3-540-45740-2_5},
    url = {https://doi.org/10.1007%2F3-540-45740-2_5},
    year = {2001},
    publisher = {Springer Berlin Heidelberg},
    pages = {53--70},
    author = {Parosh Aziz Abdulla and Aletta Nyl{\'{e}}n},
    title = {Timed Petri Nets and {BQOs}},
    booktitle = {Applications and Theory of Petri Nets 2001}
}

@incollection{Abdulla_2001, doi = {10.1007/3-540-45740-2_5}, url = {https://doi.org/10.1007%2F3-540-45740-2_5}, year = {2001}, publisher = {Springer Berlin Heidelberg}, pages = {53--70}, author = {Parosh Aziz Abdulla and Aletta Nyl{\'{e}}n}, title = {Timed Petri Nets and {BQOs}}, booktitle = {Applications and Theory of Petri Nets 2001} }