On Computing Symmetries and Stubborn Sets

K. Varpaaniemi

    Research output: Working paperProfessional

    Original languageEnglish
    Place of PublicationEspoo
    Pages16
    Publication statusPublished - 1994
    MoE publication typeD4 Published development or research report or study

    Publication series

    NameDigital Systems Laboratory, Series B: Research Reports
    PublisherHelsinki University of Technology
    No.B12

    Keywords

    • CFFD-semantics
    • place/transition nets
    • reachability analysis
    • stubborn set method
    • symmetry method

    Cite this