Necessary and sufficient liveness condition of GS<sup>3</sup>PR Petri nets (Q5252903)

From MaRDI portal
scientific article; zbMATH DE number 6442559
Language Label Description Also known as
English
Necessary and sufficient liveness condition of GS<sup>3</sup>PR Petri nets
scientific article; zbMATH DE number 6442559

    Statements

    title
    Necessary and sufficient liveness condition of GS<sup>3</sup>PR Petri nets (English)
    0 references
    author
    Gaiyun Liu
    0 references
    Kamel Barkaoui
    0 references
    publication date
    3 June 2015
    0 references
    zbMATH Keywords
    Petri net
    0 references
    liveness
    0 references
    siphon
    0 references
    controllability condition
    0 references

    Identifiers

    Mathematics Subject Classification ID
    93C65
    0 references
    90B30
    0 references
    93B05
    0 references
    zbMATH DE Number
    6442559
    0 references
    OpenAlex ID
    W3004468380
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5252903&oldid=35458203"
    Powered by MediaWiki