Modular Reachability Analyser for Algebraic System Nets

Marko Mäkelä

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

    AlkuperäiskieliEnglanti
    Otsikko23rd International Conference on Application and Theory of Petri Nets, Adelaide, Australia, June 2002
    ToimittajatJavier Esparza, Charles Lakos
    Sivut434-444
    TilaJulkaistu - 2002
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa

    Tutkimusalat

    • exhaustive reachability analysis
    • high-level Petri nets
    • on-the-fly LTL model checking
    • simulation

    Siteeraa tätä