A master thesis from Aalborg University
Automatic Translation of Timed-Arc Petri Nets to Timed Automata
Author(s)
Term
10. Term
Education
Publication year
2005
Submitted on
2012-02-14
Abstract
The main objective of this thesis is to investigate possibilities of automatic verification of TAPN. We focus on translations of various subclasses of TAPN into TA. Our aim is to verify the reachability properties of TAPN by verifying the translated TA using verification tool Uppaal. Our reduction technique works for a sub-class of TAPN namely k-conservative nets. And the translator is implemented on Java platform considering both input and output files as XML files. Moreover we present two case studies on Fischer's protocol and Alternating Bit Protocol.
Documents
Colophon: This page is part of the AAU Student Projects portal, which is run by Aalborg University. Here, you can find and download publicly available bachelor's theses and master's projects from across the university dating from 2008 onwards. Student projects from before 2008 are available in printed form at Aalborg University Library.
If you have any questions about AAU Student Projects or the research registration, dissemination and analysis at Aalborg University, please feel free to contact the VBN team. You can also find more information in the AAU Student Projects FAQs.