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 formSoftwareScientific

    Original languageEnglish
    Publication statusPublished - 2001
    MoE publication typeI2 ICT software

    Keywords

    • labelled state transition systems
    • Petri nets

    Cite this