@inproceedings{1041158,
    title = "On the development of petri net template models for real time software design and verification",
    author = "Ananidou, Dimitra and Hassapis, George and Kleftouris, Dimitrios",
    year = "2001",
    pages = "50-59",
    publisher = "Εκδοτικός Οργανισμός Λιβάνη",
    booktitle = "8th Panhellenic Conference in Informatics Proceedings (Volume 1)"
}