New Canonical Representative Marking Algorithms for Place/Transition-nets

    Research output: Working paperProfessional

    6 Citations (Scopus)
    Original languageEnglish
    Place of PublicationEspoo
    Publication statusPublished - 2002
    MoE publication typeD4 Published development or research report or study

    Publication series

    NameTCS Research Reports
    PublisherHelsinki University of Technology
    No.HUT-TCS-A75

    Keywords

    • Place/Transition-nets
    • reachability analysis
    • symmetry

    Cite this