Computational Complexity of the Place/Transition-Net Symmetry Reduction Method

Research output: Working paper › Professional

Original language	English
Place of Publication	Espoo
Pages	16
Publication status	Published - 2000
MoE publication type	D4 Published development or research report or study

Name	Helsinki University of Technology, Laboratory for Theoretical Computer Science, Research Reports
Publisher	Helsinki University of Technology
No.	HUT-TCS-A59

Keywords

@techreport{c72c6ae6eca94e9e9572b174baf97819,

title = "Computational Complexity of the Place/Transition-Net Symmetry Reduction Method",

keywords = "Petri nets, symmetry, Petri nets, symmetry, Petri nets, symmetry",

author = "T. Junttila",

year = "2000",

language = "English",

series = "Helsinki University of Technology, Laboratory for Theoretical Computer Science, Research Reports",

publisher = "Helsinki University of Technology",

number = "HUT-TCS-A59",

pages = "16",

type = "WorkingPaper",

institution = "Helsinki University of Technology",

}

TY - UNPB

T1 - Computational Complexity of the Place/Transition-Net Symmetry Reduction Method

AU - Junttila, T.

PY - 2000

Y1 - 2000

KW - Petri nets

KW - symmetry

KW - Petri nets

KW - symmetry

KW - Petri nets

KW - symmetry

UR - http://www.tcs.hut.fi/%7etjunttil/publications/Junttila_A59.pdf

M3 - Working paper

T3 - Helsinki University of Technology, Laboratory for Theoretical Computer Science, Research Reports

SP - 16

BT - Computational Complexity of the Place/Transition-Net Symmetry Reduction Method

CY - Espoo

ER -