Detecting and Exploiting Data Type Symmetries of Algebraic System Nets during Reachability Analysis

    Research output: Working paperProfessional

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

    Publication series

    NameHUT Laboratory for Theoretical Computer Science Research Reports
    PublisherTKK
    No.HUT-TCS-A57

    Keywords

    • algebraic system nets
    • Petri nets
    • reachability analysis
    • symmetry

    Cite this

    Junttila, T. (1999). Detecting and Exploiting Data Type Symmetries of Algebraic System Nets during Reachability Analysis. (HUT Laboratory for Theoretical Computer Science Research Reports; No. HUT-TCS-A57).