@inproceedings{
    Lat04a,
    editor = "Cortadella, J. and Reisig, W.",
    author = {Latvala, Timo and M\"akel\"a, Marko},
    title = "{LTL} Model Checking for Modular {P}etri Nets",
    url = "http://springerlink.metapress.com/link.asp?id=pmv0ylbqlx52vvwx",
    series = "LNCS",
    booktitle = "Application and Theory of Petri Nets 2004. 25th International Conference, ICATPN 2004.",
    volume = "3099",
    flags = "public, SA-53695",
    year = "2004",
    pages = "298--311",
    pubsliher = "Springer"
}