In this section we will explain the basics of Timed-Arc Petri Nets (TAPN) as used in TAPAAL by illustrating the behaviour of the various features of the model. Following this we will explain how TAPAAL can be used to draw these models.

documentation/usermanual/modelling.txt · Last modified: 2012/05/11 11:48 by kyrke
CC Attribution-Noncommercial-Share Alike 3.0 Unported Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0