A causal semantics for time Petri nets

T. Aura, J. Lilius

    Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

    34 Sitaatiot (Scopus)
    AlkuperäiskieliEnglanti
    Sivut409-447
    JulkaisuTheoretical Computer Science
    Vuosikerta243
    Numero1-2
    TilaJulkaistu - 2000
    OKM-julkaisutyyppiA1 Julkaistu artikkeli, soviteltu

    Tutkimusalat

    • linear constraints
    • net theory
    • partial order semantics
    • processes
    • timing analysis

    Siteeraa tätä