An improved translation of SA/RT specification model to high-level timed Petri nets /
Shi, Lihua.
Nixon, Patrick.
Trinity College (Dublin, Ireland).Department of Computer Science.
Dubin Trinity College, Department of Computer Science
[1995]
Includes bibliography
Real-time data processing.
System design.
Petri nets.