LTL Model Checking for Modular Petri Nets

Timo Latvala, Marko Mäkelä

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    8 Citations (Scopus)
    Original languageEnglish
    Title of host publication25th International Conference on Application and Theory of Petri Nets, Bologna, Italy, June 21-25, 2004
    EditorsJordi Cortadella, Wolfgang Reising
    Place of PublicationBerliini, Saksa
    Pages298-311
    Publication statusPublished - 2004
    MoE publication typeA4 Article in a conference publication

    Keywords

    • LTL-X
    • Maria
    • model checking
    • Modular Petri Nets

    Cite this