A causal semantics for time Petri nets

T. Aura, J. Lilius

    Research output: Contribution to journalArticleScientificpeer-review

    34 Citations (Scopus)
    Original languageEnglish
    Pages (from-to)409-447
    JournalTheoretical Computer Science
    Volume243
    Issue number1-2
    Publication statusPublished - 2000
    MoE publication typeA1 Journal article-refereed

    Keywords

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

    Cite this