comparison between di?erentmodelsusedbydi?erentcommunities(timedautomata,timedPetri