added "non-empty" to the description of traps/siphons
added getNodeByExtension method
added a module that reports some infos about PNs
added a module that reports some infos about PNs
added getNodeByExtension method
PNML parser stuff
integrated the PNML parser
Merge branch 'st' of github.com:renke/apt into st
removed unnecessary import
added a module that determine's a net's language

as is to be expected, this module only works in the case
that (a) the net is bounded and (b) the reachability graph
contains no cycles (i.e. the prefix language of the net
is finite)
Merge branch 'st' of github.com:renke/apt into db
Fasten up the ExamineLTSModule by calculating the cycles just once.
Changing build.xml so that javadoc will be generated in a subfolder of the doc dir,
so that by using ant clean the APT.pdf still exists.
Added modules for petrify2apt and apt2petrify. To do so, also added a very simple petrifyLTSParser and integrated it to the build script.
Merge branch 'master' of github.com:renke/apt
Changed the standard algorithm for computing the smallest cycles from floyed-warshall to the depth-first search.
Merge branch 'db' of github.com:renke/apt into db
Merge branch 'db' of github.com:renke/apt into db
Merge branch 'master' of github.com:renke/apt into db

Conflicts:
	src/uniol/apt/APT.java
Merge branch 'db' of github.com:renke/apt into db