Modeling multithreaded applications using Petri nets (Q1871095)

From MaRDI portal
Revision as of 11:45, 1 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Modeling multithreaded applications using Petri nets
scientific article

    Statements

    title
    Modeling multithreaded applications using Petri nets (English)
    0 references
    author
    Krishna M. Kavi
    0 references
    Alireza Moshtaghi
    0 references
    Deng-Jyi Chen
    0 references
    publication date
    6 May 2003
    0 references
    zbMATH Keywords
    Pthreads
    0 references
    Petri nets
    0 references
    race conditions
    0 references
    deadlocks
    0 references
    lost signals
    0 references

    Identifiers

    zbMATH DE Number
    1906500
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1871095&oldid=14264009"
    Powered by MediaWiki