@inproceedings{b2d4ef88b6a7411bbc47d3cc8c0a21bb,
title = "LTL Model Checking for Modular Petri Nets",
keywords = "LTL-X, Maria, model checking, Modular Petri Nets, LTL-X, Maria, model checking, Modular Petri Nets, LTL-X, Maria, model checking, Modular Petri Nets",
author = "Timo Latvala and Marko M{\"a}kel{\"a}",
year = "2004",
language = "English",
isbn = "3-540-22236-7",
pages = "298--311",
editor = "Jordi Cortadella and Wolfgang Reising",
booktitle = "25th International Conference on Application and Theory of Petri Nets, Bologna, Italy, June 21-25, 2004",
publisher = "Springer",
address = "Germany",
}