Mutex Causality in Processes and Traces of General Elementary Nets (Q4914294)

From MaRDI portal
scientific article; zbMATH DE number 6155486
Language Label Description Also known as
English
Mutex Causality in Processes and Traces of General Elementary Nets
scientific article; zbMATH DE number 6155486

    Statements

    Mutex Causality in Processes and Traces of General Elementary Nets (English)
    0 references
    0 references
    0 references
    18 April 2013
    0 references
    concurrency paradigm
    0 references
    elementary net system
    0 references
    inhibitor arc
    0 references
    mutex arc
    0 references
    step sequence
    0 references
    causality
    0 references
    generalised stratified order structure
    0 references
    process semantics
    0 references
    generalised comtrace
    0 references

    Identifiers