On the integration of high-level timed petri nets with schedulability analysis methods

Publication Type:

Conference Paper

Source:

Proceedings of the 3rd Hellenic European Research on Mathematics and Informatics Conference(HERMIS96), Athens, Greece, p.703-712 (1996)