added simpler application configuration - PNML load/save only
added missing legal information
added FiringSequence constructor