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

L Shi, Patrick Nixon

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Unknown Host Publication
Publisher	DARTS
Publication status	Published - 1994
Event	DARTS'95: Workshop on Design and Analysis of Real-Time Systems - Universite Libre de Bruxelles, Belgium Duration: 1 Jan 1994 → …

Workshop	DARTS'95: Workshop on Design and Analysis of Real-Time Systems
Period	1/01/94 → …

]

Keywords

@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 = "]; DARTS'95: Workshop on Design and Analysis of Real-Time Systems ; Conference date: 01-01-1994",

year = "1994",

language = "English",

booktitle = "Unknown Host Publication",

publisher = "DARTS",

}