{
  "@context": {
    "@vocab": "http://schema.org/",
    "rdau": "http://rdaregistry.info/Elements/u/",
    "skos": "http://www.w3.org/2004/02/skos/core#",
    "skos:prefLabel": {
      "@container": "@language"
    }
  },
  "@graph": [
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00026237200",
      "author": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000102254"
      },
      "name": "New canonical representative marking algorithms for place/transition-nets"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00567891800",
      "contributor": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000102254"
      },
      "name": "Partitioning search spaces of a randomized search"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:au:pn:000102254",
      "@type": "Person",
      "name": "Junttila, Tommi"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00299637300",
      "author": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000102254"
      },
      "name": "On the symmetry reduction method for Petri nets and similar formalisms"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00092015300",
      "author": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000102254"
      },
      "name": "Detecting and exploiting data type symmetries of algebraic system nets during reachability analysis"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00391109200",
      "author": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000102254"
      },
      "name": "Symmetry reduction algorithms for data symmetries"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00022596100",
      "author": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000102254"
      },
      "name": "Computational complexity of the place/transition-net symmetry reduction method"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00394545700",
      "contributor": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000102254"
      },
      "name": "Symbolic model checking of hierarchical UML state machines"
    },
    {
      "@id": "http://urn.fi/URN:NBN:fi:bib:me:W00394545800",
      "contributor": {
        "@id": "http://urn.fi/URN:NBN:fi:au:pn:000102254"
      },
      "name": "Symbolic step encodings for object based communicating state machines"
    }
  ]
}