New Canonical Representative Marking Algorithms for Place/Transition-nets

Tommi Junttila

New Canonical Representative Marking Algorithms for Place/Transition-nets

Research output: Working paper › Professional

7 Citations (Scopus)

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

Publication series

Name	TCS Research Reports
Publisher	Helsinki University of Technology
No.	HUT-TCS-A75

Keywords

Place/Transition-nets
reachability analysis
symmetry

Cite this

@techreport{6a478326c1154fc09b418bcb2fa5a5b9,

title = "New Canonical Representative Marking Algorithms for Place/Transition-nets",

keywords = "Place/Transition-nets, reachability analysis, symmetry, Place/Transition-nets, reachability analysis, symmetry, Place/Transition-nets, reachability analysis, symmetry",

author = "Tommi Junttila",

year = "2002",

language = "English",

series = "TCS Research Reports",

publisher = "Helsinki University of Technology",

number = "HUT-TCS-A75",

type = "WorkingPaper",

institution = "Helsinki University of Technology",

}

TY - UNPB

T1 - New Canonical Representative Marking Algorithms for Place/Transition-nets

AU - Junttila, Tommi

PY - 2002

Y1 - 2002

KW - Place/Transition-nets

KW - reachability analysis

KW - symmetry

KW - Place/Transition-nets

KW - reachability analysis

KW - symmetry

KW - Place/Transition-nets

KW - reachability analysis

KW - symmetry

UR - http://www.tcs.hut.fi/Publications/

M3 - Working paper

T3 - TCS Research Reports

BT - New Canonical Representative Marking Algorithms for Place/Transition-nets

CY - Espoo

ER -

New Canonical Representative Marking Algorithms for Place/Transition-nets

Publication series

Keywords

Other files and links

Cite this