LTL Model Checking for Modular Petri Nets

Reference:

Timo Latvala and Marko Mäkelä. LTL model checking for modular Petri nets. In J. Cortadella and W. Reisig, editors, Application and Theory of Petri Nets 2004. 25th International Conference, ICATPN 2004., volume 3099 of LNCS, pages 298–311, 2004.

Suggested BibTeX entry:

@inproceedings{Lat04a,
    author = {Timo Latvala and Marko M\"akel\"a},
    booktitle = {Application and Theory of Petri Nets 2004. 25th International Conference, ICATPN 2004.},
    editor = {J. Cortadella and W. Reisig},
    pages = {298--311},
    series = {LNCS},
    title = {{LTL} Model Checking for Modular {P}etri Nets},
    volume = {3099},
    year = {2004},
}