Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers (Q2941142)

From MaRDI portal
Revision as of 16:22, 10 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers
scientific article

    Statements

    Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers (English)
    0 references
    0 references
    27 August 2015
    0 references
    Petri net
    0 references
    Petri net transducer
    0 references
    weighted transducer
    0 references
    labelled partial order
    0 references
    weighted labelled partial order
    0 references
    partial language
    0 references
    semiring
    0 references
    bi-semiring
    0 references
    concurrent semiring
    0 references
    cleanness
    0 references

    Identifiers