Parallelisation of the Petri Net Unfolding Algorithm

Keijo Heljanko; Victor Khomenko; Maciej Koutny

Parallelisation of the Petri Net Unfolding Algorithm

Keijo Heljanko, Victor Khomenko, Maciej Koutny

Research output: Book/Report › Commissioned report

Original language	English

Publication status	Published - 2001
Externally published	Yes
MoE publication type	D4 Published development or research report or study

Fields of Science

causality
concurrency
model checking
parallel algorithm
Petri nets
unfolding

Cite this

@book{fc972ece154e48159feb330a35d925be,

title = "Parallelisation of the Petri Net Unfolding Algorithm",

keywords = "causality, concurrency, model checking, parallel algorithm, Petri nets, unfolding, causality, concurrency, model checking, parallel algorithm, Petri nets, unfolding, causality, concurrency, model checking, parallel algorithm, Petri nets, unfolding",

author = "Keijo Heljanko and Victor Khomenko and Maciej Koutny",

year = "2001",

language = "English",

}

TY - BOOK

T1 - Parallelisation of the Petri Net Unfolding Algorithm

AU - Heljanko, Keijo

AU - Khomenko, Victor

AU - Koutny, Maciej

PY - 2001

Y1 - 2001

KW - causality

KW - concurrency

KW - model checking

KW - parallel algorithm

KW - Petri nets

KW - unfolding

KW - causality

KW - concurrency

KW - model checking

KW - parallel algorithm

KW - Petri nets

KW - unfolding

KW - causality

KW - concurrency

KW - model checking

KW - parallel algorithm

KW - Petri nets

KW - unfolding

M3 - Commissioned report

BT - Parallelisation of the Petri Net Unfolding Algorithm

ER -