@misc{
    lsts2pn,
    author = {M{\"{a}}kel{\"{a}}, Marko and Varpaaniemi, Kimmo},
    title = "{l}sts2pn --- a translator from {T}{V}{T} {L}{S}{T}{S} files to the input file language of {M}a{R}i{A}",
    url = "http://www.tcs.hut.fi/Software/maria/tools/tvt/tvt.html",
    abstract = "lsts2pn constructs a high-level Petri net, the reachability graph of which corresponds to a parallel composition of a given collection of LSTSs (labelled state transition systems). The input language is the LSTS file language of TVT (Tampere Verification Tool, http://www.cs.tut.fi/ohj/VARG/TVT/). The output language is the high-level Petri net description language of MaRiA (Modular Reachability Analyzer, http://www.tcs.hut.fi/Software/maria/).",
    month = "September",
    note = "Software",
    keywords = "labelled state transition systems, Petri nets",
    flags = "public,SOFTWARE,ANNA-MARIA",
    year = "2001",
    howpublished = "Laboratory for Theoretical Computer Science, Helsinki University of Technology, Espoo, Finland"
}