Dimitra Ananidou

Publication Activity (10 Years)

Years Active: 1999-2003
Publications (10 Years): 0

Publications

George Hassapis, Dimitra Ananidou
Modeling and verification of a class of real-time systems by the use of High Level Petri Nets. J. Syst. Softw. 68 (2) (2003)
Dimitra Ananidou, George Hassapis, Dimitris Kleftouris
High Level Timed Petri Net Templates for the Temporal Verification of Real-Time Multiprocessor Applications. Panhellenic Conference on Informatics (2001)
George Hassapis, Dimitra Ananidou, Dimitris Kleftouris
A timed high level Petri net model for the automation scheme of a chemical process. ICECS (1999)