Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication (Q3636840)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication
scientific article

    Statements