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 -