Gerogiannis, V., A. Kameas, and P. Pintelas,  "On the integration of high-level timed petri nets with schedulability analysis methods",  Proceedings of the 3rd Hellenic European Research on Mathematics and Informatics Conference(HERMIS96), Athens, Greece, pp. 703-712, 2-27 Sempteber, 1996.