Dimitra Ananidou

According to our database, Dimitra Ananidou authored at least 3 papers between 1999 and 2003.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2003

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

2001

High Level Timed Petri Net Templates for the Temporal Verification of Real-Time Multiprocessor Applications.

Dimitra Ananidou, George Hassapis, Dimitris Kleftouris

Proceedings of the Advances in Informatics, 8th Panhellenic Conference on Informatics, 2001

1999

A timed high level Petri net model for the automation scheme of a chemical process.

George Hassapis, Dimitra Ananidou, Dimitris Kleftouris

Proceedings of the 6th IEEE International Conference on Electronics, Circuits and Systems, 1999