Marking diagnosability verification in labeled Petri nets (Q2665360)

From MaRDI portal
Revision as of 09:00, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
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 Keywords
    marking diagnosability
    0 references
    Petri net
    0 references
    discrete event system
    0 references
    basis reachability graph
    0 references

    Identifiers

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