Modular Reachability Analyzer for High-Level Petri Nets

M. Mäkelä

Modular Reachability Analyzer for High-Level Petri Nets

M. Mäkelä

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

Original language	English
Title of host publication	The 5th Workshop on Discrete Event Systems, WODES2000, Ghent, Belgium, August 21-23, 2000
Editors	R. Boel, G. Stremersch
Place of Publication	Boston MA, USA
Publisher	Kluwer Academic Publishers
Pages	477-478
Publication status	Published - 2000
MoE publication type	A4 Conference publication

Keywords

data types
high-level specifications
Petri nets
reachability analysis

Cite this

@inproceedings{cdb7bb1273594aa385a775be9d49edf3,

title = "Modular Reachability Analyzer for High-Level Petri Nets",

keywords = "data types, high-level specifications, Petri nets, reachability analysis, data types, high-level specifications, Petri nets, reachability analysis, data types, high-level specifications, Petri nets, reachability analysis",

author = "M. M{\"a}kel{\"a}",

year = "2000",

language = "English",

pages = "477--478",

editor = "R. Boel and G. Stremersch",

booktitle = "The 5th Workshop on Discrete Event Systems, WODES2000, Ghent, Belgium, August 21-23, 2000",

publisher = "Kluwer Academic Publishers",

address = "Netherlands",

}

Modular Reachability Analyzer for High-Level Petri Nets. / Mäkelä, M.
The 5th Workshop on Discrete Event Systems, WODES2000, Ghent, Belgium, August 21-23, 2000. ed. / R. Boel; G. Stremersch. Boston MA, USA: Kluwer Academic Publishers, 2000. p. 477-478.

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

TY - GEN

T1 - Modular Reachability Analyzer for High-Level Petri Nets

AU - Mäkelä, M.

PY - 2000

Y1 - 2000

KW - data types

KW - high-level specifications

KW - Petri nets

KW - reachability analysis

KW - data types

KW - high-level specifications

KW - Petri nets

KW - reachability analysis

KW - data types

KW - high-level specifications

KW - Petri nets

KW - reachability analysis

M3 - Conference article in proceedings

SP - 477

EP - 478

BT - The 5th Workshop on Discrete Event Systems, WODES2000, Ghent, Belgium, August 21-23, 2000

A2 - Boel, R.

A2 - Stremersch, G.

PB - Kluwer Academic Publishers

CY - Boston MA, USA

ER -