A timed high level Petri net model for the automation scheme of a chemical process. - George Hassapis; Dimitra Ananidou; Dimitris Kleftouris (ICECS, 1999)

High Level Timed Petri Net Templates for the Temporal Verification of Real-Time Multiprocessor Applications. - Dimitra Ananidou; George Hassapis; Dimitris Kleftouris (Panhellenic Conference on Informatics, 2001)

Modeling and verification of a class of real-time systems by the use of High Level Petri Nets. - George Hassapis; Dimitra Ananidou (J. Syst. Softw., 2003)