Recursive Petri nets (Q2464034)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Recursive Petri nets
scientific article

    Statements

    title
    Recursive Petri nets (English)
    0 references
    author
    Denis Poitrenaud
    0 references
    Serge Haddad
    0 references
    publication date
    10 December 2007
    0 references
    zbMATH Keywords
    decidability
    0 references
    reachability
    0 references
    finiteness
    0 references
    bisimulation
    0 references
    describes a project that uses
    Renew
    0 references
    UMDES
    0 references
    SYROCO
    0 references
    cites work
    Q4719062
    0 references
    Q4219024
    0 references
    Q4289279
    0 references
    Q4263301
    0 references
    Q4782078
    0 references
    Q4190159
    0 references
    Q4348471
    0 references
    Q4222876
    0 references
    Q4511269
    0 references
    Q4364400
    0 references
    Q3997018
    0 references
    Q2761715
    0 references
    Q4176985
    0 references
    Q3051391
    0 references

    Identifiers

    zbMATH DE Number
    5218959
    0 references
    OpenAlex ID
    W1778149536
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2464034&oldid=35022490"
    Powered by MediaWiki