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

Tutkimustuotos: Taiteellinen julkaisu ja ICT-julkaisu › Software › Scientific

Alkuperäiskieli	Englanti
Tila	Julkaistu - 2001
OKM-julkaisutyyppi	I2 Tieto- ja viestintätekniset sovellukset

Tutkimusalat

labelled state transition systems
Petri nets

Muut tiedostot ja linkit

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

Siteeraa tätä

@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 -