@article{Cassez_2006,
    doi = {10.1016/j.jss.2005.12.021},
    url = {https://doi.org/10.1016%2Fj.jss.2005.12.021},
    year = {2006},
    month = {oct},
    publisher = {Elsevier {BV}},
    volume = {79},
    number = {10},
    pages = {1456--1468},
    author = {Franck Cassez and Olivier H. Roux},
    title = {Structural translation from Time Petri Nets to Timed Automata},
    journal = {Journal of Systems and Software}
}

@article{Cassez_2006, doi = {10.1016/j.jss.2005.12.021}, url = {https://doi.org/10.1016%2Fj.jss.2005.12.021}, year = {2006}, month = {oct}, publisher = {Elsevier {BV}}, volume = {79}, number = {10}, pages = {1456--1468}, author = {Franck Cassez and Olivier H. Roux}, title = {Structural translation from Time Petri Nets to Timed Automata}, journal = {Journal of Systems and Software} }