Extended the Parallel Composition with Atomic Propositions.
improved the gerated graph
Merge branch 'master' of https://github.com/oiami/LTS-Project

Conflicts:
	src/controller/RunApp.java
	src/model/LTS.java
	src/model/State.java
Zusammenwurf mit der vorherigen Variante