The efficient translation of SA/RT Specification Model to High-Level Timed Petri Nets

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    LanguageEnglish
    Title of host publicationUnknown Host Publication
    Publication statusPublished - 1994
    EventDARTS'95: Workshop on Design and Analysis of Real-Time Systems - Universite Libre de Bruxelles, Belgium
    Duration: 1 Jan 1994 → …

    Workshop

    WorkshopDARTS'95: Workshop on Design and Analysis of Real-Time Systems
    Period1/01/94 → …

    Keywords

    • n/a

    Cite this

    @inproceedings{4c4bb278160b401fbd3516f5c2764626,
    title = "The efficient translation of SA/RT Specification Model to High-Level Timed Petri Nets",
    keywords = "n/a",
    author = "L Shi and Patrick Nixon",
    note = "]",
    year = "1994",
    language = "English",
    booktitle = "Unknown Host Publication",

    }

    Shi, L & Nixon, P 1994, The efficient translation of SA/RT Specification Model to High-Level Timed Petri Nets. in Unknown Host Publication. DARTS'95: Workshop on Design and Analysis of Real-Time Systems, 1/01/94.

    The efficient translation of SA/RT Specification Model to High-Level Timed Petri Nets. / Shi, L; Nixon, Patrick.

    Unknown Host Publication. 1994.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    TY - GEN

    T1 - The efficient translation of SA/RT Specification Model to High-Level Timed Petri Nets

    AU - Shi, L

    AU - Nixon, Patrick

    N1 - ]

    PY - 1994

    Y1 - 1994

    KW - n/a

    M3 - Conference contribution

    BT - Unknown Host Publication

    ER -