Model checking safety properties in modular high-level nets

Marko Mäkelä

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

    13 Citations (Scopus)
    Original languageEnglish
    Title of host publicationApplication and Theory of Petri Nets 2003, Eindhoven, The Netherlands, 23.-27.6.2003
    EditorsWil M.P. van der Aalst, Eike Best
    Place of PublicationBerlin, Germany
    Pages201-220
    Publication statusPublished - 2003
    MoE publication typeA4 Article in a conference publication

    Keywords

    • high-level nets
    • model checking
    • modular systems
    • state space enumeration

    Cite this