Analysis of Petri nets by stepwise refinements (Q1255320)

From MaRDI portal





scientific article; zbMATH DE number 3622957
Language Label Description Also known as
English
Analysis of Petri nets by stepwise refinements
scientific article; zbMATH DE number 3622957

    Statements

    Analysis of Petri nets by stepwise refinements (English)
    0 references
    0 references
    1979
    0 references
    Petri Nets
    0 references
    Boundedness
    0 references
    Liveness
    0 references

    Identifiers