@article(abdulla2003model,
 author       = "P.A. Abdulla and B. Jonsson",
 year         = "2003",
 title        = "Model checking of systems with many identical timed processes",
 journal      = "Theoretical Computer Science",
 volume       = "290",
 number       = "1",
 pages        = "241--264",
 doi          = "10.1016/S0304-3975(01)00330-9",
)
@inproceedings(abdulla2011computing,
 author       = "P.A. Abdulla and R. Mayr",
 year         = "2011",
 title        = "Computing optimal coverability costs in priced timed Petri nets",
 booktitle    = "Logic in Computer Science (LICS), 2011 26th Annual IEEE Symposium on",
 organization = "IEEE",
 pages        = "399--408",
 doi          = "10.1109/LICS.2011.40",
)
@inproceedings(ACJT96,
 author       = "Parosh Aziz Abdulla and Karlis Cerans and Bengt Jonsson and Yih-Kuen Tsay",
 year         = "1996",
 title        = "General Decidability Theorems for Infinite-State Systems",
 booktitle    = "LICS",
 pages        = "313--321",
 doi          = "10.1109/LICS.1996.561359",
)
@article(AD:timedautomata,
 author       = "R. Alur and D. Dill",
 year         = "1994",
 title        = "A Theory of Timed Automata",
 journal      = "TCS",
 volume       = "126",
 pages        = "183--235",
 doi          = "10.1016/0304-3975(94)90010-8",
)
@inproceedings(AlurTP01:WTA,
 author       = "R. Alur and S. La Torre and G. J. Pappas",
 year         = "2001",
 title        = "Optimal Paths in Weighted Timed Automata",
 booktitle    = "HSCC",
 pages        = "49--62",
 doi          = "10.1007/3-540-45351-2\_8",
)
@inproceedings(BCHLR-atva2005,
 author       = "B. B\'erard and F. Cassez and S. Haddad and O. Roux and D. Lime",
 year         = "2005",
 title        = "Comparison of Different Semantics for Time {Petri} Nets",
 booktitle    = "Automated Technology for Verification and Analysis",
 series       = "LNCS",
 volume       = "3707",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "293--307",
 doi          = "10.1007/11562948\_23",
)
@inproceedings(Bonnet-mfcs11,
 author       = "R. Bonnet",
 year         = "2011",
 title        = "The reachability problem for Vector Addition Systems with one zero-test",
 editor       = "Filip Murlak and Piotr Sankowski",
 booktitle    = "{P}roceedings of the 36th {I}nternational {S}ymposium on {M}athematical {F}oundations of {C}omputer {S}cience ({MFCS}'11)",
 series       = "LNCS",
 volume       = "6907",
 publisher    = "Springer",
 pages        = "145--157",
 doi          = "10.1007/978-3-642-22993-0\_16",
)
@article(BouyerBBR:PTA,
 author       = "P. Bouyer and T. Brihaye and V. Bruy{\`e}re and J. Raskin",
 year         = "2007",
 title        = "On the optimal reachability problem of weighted timed automata",
 journal      = "Formal Methods in System Design",
 volume       = "31",
 number       = "2",
 pages        = "135--175",
 doi          = "10.1007/s10703-007-0035-4",
)
@inproceedings(BCFL04,
 author       = "P. Bouyer and F. Cassez and E. Fleury and K. G. Larsen",
 year         = "2005",
 title        = "Optimal Strategies in Priced Timed Game Automata",
 booktitle    = "FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science",
 series       = "Lecture Notes in Computer Science",
 volume       = "3328",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "148--160",
 doi          = "10.1007/978-3-540-30538-5\_13",
)
@inproceedings(Bowden:TPN:Survey,
 author       = "F. D. J. Bowden",
 year         = "1996",
 title        = "Modelling Time in {Petri} nets",
 booktitle    = "Proc. Second Australian-Japan Workshop on Stochastic Models",
)
@inproceedings(Kim:etal:priced,
 author       = "K.G.\ Larsen and G. Behrmann and E. Brinksma and A. Fehnker and T. Hune and P. Pettersson and J. Romijn",
 year         = "2001",
 title        = "As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata",
 booktitle    = "Proc.\ 13th Int.\ Conf.\ on Computer Aided Verification",
 series       = "Lecture Notes in Computer Science",
 volume       = "2102",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "493--505",
 doi          = "10.1007/3-540-44585-4\_47",
)
@article(Peterson:survey,
 author       = "J.L. Peterson",
 year         = "1977",
 title        = "{Petri} Nets",
 journal      = "Computing Surveys",
 volume       = "9",
 number       = "3",
 pages        = "221--252",
 doi          = "10.1145/356698.356702",
)
@phdthesis(Petri:thesis,
 author       = "C.A. Petri",
 year         = "1962",
 title        = "Kommunikation mit {Automaten}",
 school       = "University of Bonn",
)
@article(Reinhardt:inhibitor,
 author       = "K. Reinhardt",
 year         = "2008",
 title        = "Reachability in {Petri} Nets with Inhibitor Arcs",
 journal      = "Electronic Notes in Theoretical Computuer Science",
 volume       = "223",
 pages        = "239--264",
 doi          = "10.1016/j.entcs.2008.12.042",
)
@inproceedings(PCVC99:TPN:Nondecidability,
 author       = "V. Valero Ruiz and F. Cuartero Gomez and D. de Frutos Escrig",
 year         = "1999",
 title        = "On non-decidability of reachability for timed-arc {Petri} nets",
 booktitle    = "Proceedings of the The 8th International Workshop on Petri Nets and Performance Models",
 series       = "PNPM '99",
 publisher    = "IEEE Computer Society",
 pages        = "188--196",
 doi          = "10.1109/PNPM.1999.796565",
)