lsts2pn - a translator from TVT LSTS files to the input file language of MaRiA

Marko Mäkelä; Kimmo Varpaaniemi

lsts2pn - a translator from TVT LSTS files to the input file language of MaRiA

Marko Mäkelä
, Kimmo Varpaaniemi

Research output: Artistic and non-textual form › Software › Scientific

Original language	English
Publication status	Published - 2001
MoE publication type	I2 ICT applications

Keywords

labelled state transition systems
Petri nets

Cite this

@misc{811712739f314cda8396b74b211aa8aa,

title = "lsts2pn - a translator from TVT LSTS files to the input file language of MaRiA",

keywords = "labelled state transition systems, Petri nets, labelled state transition systems, Petri nets, labelled state transition systems, Petri nets",

author = "Marko M{\"a}kel{\"a} and Kimmo Varpaaniemi",

year = "2001",

language = "English",

}

TY - ADVS

T1 - lsts2pn - a translator from TVT LSTS files to the input file language of MaRiA

AU - Mäkelä, Marko

AU - Varpaaniemi, Kimmo

PY - 2001

Y1 - 2001

KW - labelled state transition systems

KW - Petri nets

KW - labelled state transition systems

KW - Petri nets

KW - labelled state transition systems

KW - Petri nets

UR - http://www.tcs.hut.fi/Software/maria/tools/tvt/tvt.html

M3 - Software

ER -

lsts2pn - a translator from TVT LSTS files to the input file language of MaRiA

Keywords

Other files and links

Cite this