National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
Junttila, Tommi
URI:
http://urn.fi/URN:NBN:fi:au:pn:000102254
name
Junttila, Tommi
Authored works
Computational complexity of the place/transition-net symmetry reduction method
Detecting and exploiting data type symmetries of algebraic system nets during reachability analysis
New canonical representative marking algorithms for place/transition-nets
On the symmetry reduction method for Petri nets and similar formalisms
Symmetry reduction algorithms for data symmetries
Works contributed to
Partitioning search spaces of a randomized search
Symbolic model checking of hierarchical UML state machines
Symbolic step encodings for object based communicating state machines
Works about Junttila, Tommi
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD
