Maria: Modular Reachability Analyser for High-Level Petri Nets

M. Mäkelä

Maria: Modular Reachability Analyser for High-Level Petri Nets

M. Mäkelä

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

Original language	English
Title of host publication	Petri Nets 2000: Tool Demonstrations
Editors	K. Mortensen
Place of Publication	Aarhus, Denmark
Publisher	Aarhus University
Pages	59-63
Publication status	Published - 2000
MoE publication type	A3 Book section, Chapters in research books

Keywords

algebraic system nets
data types
high-level specifications
Petri nets
reachability analysis

Cite this

@inbook{65f67b77571a475a8d266c3f3e6e602d,

title = "Maria: Modular Reachability Analyser for High-Level Petri Nets",

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

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

year = "2000",

language = "English",

pages = "59--63",

editor = "K. Mortensen",

booktitle = "Petri Nets 2000: Tool Demonstrations",

publisher = "Aarhus University",

address = "Denmark",

}

TY - CHAP

T1 - Maria: Modular Reachability Analyser for High-Level Petri Nets

AU - Mäkelä, M.

PY - 2000

Y1 - 2000

KW - algebraic system nets

KW - data types

KW - high-level specifications

KW - Petri nets

KW - reachability analysis

KW - algebraic system nets

KW - data types

KW - high-level specifications

KW - Petri nets

KW - reachability analysis

KW - algebraic system nets

KW - data types

KW - high-level specifications

KW - Petri nets

KW - reachability analysis

M3 - Chapter

SP - 59

EP - 63

BT - Petri Nets 2000: Tool Demonstrations

A2 - Mortensen, K.

PB - Aarhus University

CY - Aarhus, Denmark

ER -