Μελέτη λειτουργικότητας πρωτοκόλλου συνναλαγών διαδικτύου ''Tip'' μέσω της τεχνολογίας των Color Petri-Nets