New Canonical Representative Marking Algorithms for Place/Transition-Nets

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

7 Citations (Scopus)

Original language	English
Title of host publication	Application and Theory of Petri Nets 2004, Bologna, Italy, June 2004
Editors	J. Cortadella, W. Reising
Publisher	Springer
Pages	258-277
Publication status	Published - 2004
MoE publication type	A4 Conference publication

Keywords

@inproceedings{c5019a10d8b84359b47ec8ddfed92679,

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

keywords = "Petri nets, state space analysis, symmetry, Petri nets, state space analysis, symmetry, Petri nets, state space analysis, symmetry",

author = "Tommi Junttila",

year = "2004",

language = "English",

pages = "258--277",

editor = "J. Cortadella and W. Reising",

booktitle = "Application and Theory of Petri Nets 2004, Bologna, Italy, June 2004",

publisher = "Springer",

address = "Germany",

}

TY - GEN

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

AU - Junttila, Tommi

PY - 2004

Y1 - 2004

KW - Petri nets

KW - state space analysis

KW - symmetry

KW - Petri nets

KW - state space analysis

KW - symmetry

KW - Petri nets

KW - state space analysis

KW - symmetry

M3 - Conference article in proceedings

SP - 258

EP - 277

BT - Application and Theory of Petri Nets 2004, Bologna, Italy, June 2004

A2 - Cortadella, J.

A2 - Reising, W.

PB - Springer

ER -