First, the student will evaluate the most popular tools for creating and analysing either basic and high level Petri nets, giving an overview of their strength and weaknesses. Then, the Hypernet formalism will be studied. It's a Petri Net formalism based on the "nets within nets" paradigm created for modeling Mobile Agents systems. Existent tools for Hypernet will also be evaluated and new feature will be implemented.