The Stubborn Set Method in Practice

Kimmo Varpaaniemi, M. Rauhamaa

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

    AlkuperäiskieliEnglanti
    OtsikkoThe 13th International Conference on Application and Theory of Petri Nets, Sheffield, UK, 22.-26.6.1992
    JulkaisupaikkaBerlin
    Sivut389-393
    TilaJulkaistu - 1992
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa

    Tutkimusalat

    • Petri nets
    • reachability analysis
    • state space explosion
    • stubborn set method

    Siteeraa tätä