Detecting and Exploiting Data Type Symmetries of Algebraic System Nets during Reachability Analysis

T. Junttila

Detecting and Exploiting Data Type Symmetries of Algebraic System Nets during Reachability Analysis

Research output: Working paper › Professional

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

Publication series

Name	HUT Laboratory for Theoretical Computer Science Research Reports
Publisher	TKK
No.	HUT-TCS-A57

Keywords

algebraic system nets
Petri nets
reachability analysis
symmetry

Cite this

@techreport{8eff9d7f9c884e58acf7c9d7442a6b6d,

title = "Detecting and Exploiting Data Type Symmetries of Algebraic System Nets during Reachability Analysis",

keywords = "algebraic system nets, Petri nets, reachability analysis, symmetry, algebraic system nets, Petri nets, reachability analysis, symmetry, algebraic system nets, Petri nets, reachability analysis, symmetry",

author = "T. Junttila",

year = "1999",

language = "English",

series = "HUT Laboratory for Theoretical Computer Science Research Reports",

publisher = "TKK",

number = "HUT-TCS-A57",

type = "WorkingPaper",

institution = "TKK",

}

TY - UNPB

T1 - Detecting and Exploiting Data Type Symmetries of Algebraic System Nets during Reachability Analysis

AU - Junttila, T.

PY - 1999

Y1 - 1999

KW - algebraic system nets

KW - Petri nets

KW - reachability analysis

KW - symmetry

KW - algebraic system nets

KW - Petri nets

KW - reachability analysis

KW - symmetry

KW - algebraic system nets

KW - Petri nets

KW - reachability analysis

KW - symmetry

M3 - Working paper

T3 - HUT Laboratory for Theoretical Computer Science Research Reports

BT - Detecting and Exploiting Data Type Symmetries of Algebraic System Nets during Reachability Analysis

CY - Espoo

ER -