Coverability and Termination in Recursive Petri Nets (Q6144226)

From MaRDI portal
scientific article; zbMATH DE number 7796237
Language Label Description Also known as
English
Coverability and Termination in Recursive Petri Nets
scientific article; zbMATH DE number 7796237

    Statements

    Coverability and Termination in Recursive Petri Nets (English)
    0 references
    0 references
    0 references
    0 references
    29 January 2024
    0 references
    recursive Petri nets
    0 references
    expressiveness
    0 references
    complexity
    0 references
    coverability
    0 references
    termination
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references