Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets (Q5448661)

From MaRDI portal
scientific article; zbMATH DE number 5246007
Language Label Description Also known as
English
Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets
scientific article; zbMATH DE number 5246007

    Statements

    Identifiers