New Search Strategies for the Petri Net CEGAR Approach (Q2941159)

From MaRDI portal
Revision as of 16:22, 10 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
New Search Strategies for the Petri Net CEGAR Approach
scientific article

    Statements

    title
    New Search Strategies for the Petri Net CEGAR Approach (English)
    0 references
    author
    Ákos Hajdu
    0 references
    András Vörös
    0 references
    Tamás Bartha
    0 references
    publication date
    27 August 2015
    0 references
    zbMATH Keywords
    Petri nets
    0 references
    reachability analysis
    0 references
    abstraction
    0 references
    CEGAR
    0 references
    ILP
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q85
    0 references
    68Q60
    0 references
    68W15
    0 references
    zbMATH DE Number
    6476324
    0 references
    Wikidata QID
    Q57086292
    0 references
    OpenAlex ID
    W585091348
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2941159&oldid=36198114"
    Powered by MediaWiki