Marking diagnosability verification in labeled Petri nets (Q2665360)

From MaRDI portal
Revision as of 21:50, 19 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
scientific article
Language Label Description Also known as
English
Marking diagnosability verification in labeled Petri nets
scientific article

    Statements

    title
    Marking diagnosability verification in labeled Petri nets (English)
    0 references
    author
    Ziyue Ma
    0 references
    Xiang Yin
    0 references
    Zhiwu Li
    0 references
    published in
    Automatica
    0 references
    publication date
    19 November 2021
    0 references
    zbMATH DE Number
    7430148
    0 references
    zbMATH Keywords
    marking diagnosability
    0 references
    Petri net
    0 references
    discrete event system
    0 references
    basis reachability graph
    0 references
    OpenAlex ID
    W3170812736
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2665360&oldid=31841947"
    Powered by MediaWiki