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

Reference:

Marko Mäkelä and Kimmo Varpaaniemi. lsts2pn — a translator from TVT LSTS files to the input file language of MaRiA. Laboratory for Theoretical Computer Science, Helsinki University of Technology, Espoo, Finland, September 2001. Software.

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/).

Keywords:

labelled state transition systems, Petri nets

Suggested BibTeX entry:

@misc{VarpaaniemiKimmo-lsts2pn,
    author = {Marko M{\"{a}}kel{\"{a}} and Kimmo Varpaaniemi},
    howpublished = {Laboratory for Theoretical Computer Science, Helsinki University of Technology, Espoo, Finland},
    month = {September},
    note = {Software},
    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}},
    year = {2001},
}