1-Safe Petri Nets and Special Cube Complexes (Q4972155)

From MaRDI portal
scientific article; zbMATH DE number 7135655
Language Label Description Also known as
English
1-Safe Petri Nets and Special Cube Complexes
scientific article; zbMATH DE number 7135655

    Statements

    1-Safe Petri Nets and Special Cube Complexes (English)
    0 references
    0 references
    0 references
    22 November 2019
    0 references
    1-safe Petri nets
    0 references
    MSO logic
    0 references
    context-free graphs
    0 references
    median graphs
    0 references
    CAT(0) cube complexes
    0 references
    special cube complexes
    0 references
    trace-regular event structures
    0 references
    unfoldings
    0 references
    universal covers
    0 references

    Identifiers