@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix schema: <http://schema.org/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<http://urn.fi/URN:NBN:fi:bib:me:W00022596100> schema:author <http://urn.fi/URN:NBN:fi:au:pn:000102254> ;
    schema:name "Computational complexity of the place/transition-net symmetry reduction method" .

<http://urn.fi/URN:NBN:fi:bib:me:W00026237200> schema:author <http://urn.fi/URN:NBN:fi:au:pn:000102254> ;
    schema:name "New canonical representative marking algorithms for place/transition-nets" .

<http://urn.fi/URN:NBN:fi:bib:me:W00092015300> schema:author <http://urn.fi/URN:NBN:fi:au:pn:000102254> ;
    schema:name "Detecting and exploiting data type symmetries of algebraic system nets during reachability analysis" .

<http://urn.fi/URN:NBN:fi:bib:me:W00299637300> schema:author <http://urn.fi/URN:NBN:fi:au:pn:000102254> ;
    schema:name "On the symmetry reduction method for Petri nets and similar formalisms" .

<http://urn.fi/URN:NBN:fi:bib:me:W00391109200> schema:author <http://urn.fi/URN:NBN:fi:au:pn:000102254> ;
    schema:name "Symmetry reduction algorithms for data symmetries" .

<http://urn.fi/URN:NBN:fi:bib:me:W00394545700> schema:contributor <http://urn.fi/URN:NBN:fi:au:pn:000102254> ;
    schema:name "Symbolic model checking of hierarchical UML state machines" .

<http://urn.fi/URN:NBN:fi:bib:me:W00394545800> schema:contributor <http://urn.fi/URN:NBN:fi:au:pn:000102254> ;
    schema:name "Symbolic step encodings for object based communicating state machines" .

<http://urn.fi/URN:NBN:fi:bib:me:W00567891800> schema:contributor <http://urn.fi/URN:NBN:fi:au:pn:000102254> ;
    schema:name "Partitioning search spaces of a randomized search" .

<http://urn.fi/URN:NBN:fi:au:pn:000102254> a schema:Person ;
    schema:name "Junttila, Tommi" .