LTL Model Checking for Modular Petri Nets

Timo Latvala; Marko Mäkelä

LTL Model Checking for Modular Petri Nets

Timo Latvala
, Marko Mäkelä

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

14 Citations (Scopus)

Original language	English
Title of host publication	25th International Conference on Application and Theory of Petri Nets, Bologna, Italy, June 21-25, 2004
Editors	Jordi Cortadella, Wolfgang Reising
Place of Publication	Berliini, Saksa
Publisher	Springer
Pages	298-311
ISBN (Print)	3-540-22236-7
Publication status	Published - 2004
MoE publication type	A4 Conference publication

Keywords

LTL-X
Maria
model checking
Modular Petri Nets

Cite this

@inproceedings{b2d4ef88b6a7411bbc47d3cc8c0a21bb,

title = "LTL Model Checking for Modular Petri Nets",

keywords = "LTL-X, Maria, model checking, Modular Petri Nets, LTL-X, Maria, model checking, Modular Petri Nets, LTL-X, Maria, model checking, Modular Petri Nets",

author = "Timo Latvala and Marko M{\"a}kel{\"a}",

year = "2004",

language = "English",

isbn = "3-540-22236-7",

pages = "298--311",

editor = "Jordi Cortadella and Wolfgang Reising",

booktitle = "25th International Conference on Application and Theory of Petri Nets, Bologna, Italy, June 21-25, 2004",

publisher = "Springer",

address = "Germany",

}

LTL Model Checking for Modular Petri Nets. / Latvala, Timo; Mäkelä, Marko.
25th International Conference on Application and Theory of Petri Nets, Bologna, Italy, June 21-25, 2004. ed. / Jordi Cortadella; Wolfgang Reising. Berliini, Saksa: Springer, 2004. p. 298-311.

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

TY - GEN

T1 - LTL Model Checking for Modular Petri Nets

AU - Latvala, Timo

AU - Mäkelä, Marko

PY - 2004

Y1 - 2004

KW - LTL-X

KW - Maria

KW - model checking

KW - Modular Petri Nets

KW - LTL-X

KW - Maria

KW - model checking

KW - Modular Petri Nets

KW - LTL-X

KW - Maria

KW - model checking

KW - Modular Petri Nets

M3 - Conference article in proceedings

SN - 3-540-22236-7

SP - 298

EP - 311

BT - 25th International Conference on Application and Theory of Petri Nets, Bologna, Italy, June 21-25, 2004

A2 - Cortadella, Jordi

A2 - Reising, Wolfgang

PB - Springer

CY - Berliini, Saksa

ER -