
					<packages>
						<package name="StochasticLabelledPetriNets" version="6.15.13" os="all" url="StochasticLabelledPetriNets/StochasticLabelledPetriNets-6.15.13-all.zip" desc="StochasticLabelledPetriNets" org="Queensland University of Technology" license="GPL" author="Sander Leemans, Fabrizio Maggi, and Marco Montali" auto="false" hasPlugins="true" logo="prom_subtitle_hat_300.png">
				    	<dependency org="prom" name="ProM-Plugins" rev="latest" changing="true" transitive="true" />
    	<dependency org="prom" name="InductiveMiner" rev="latest" changing="true" transitive="true" />
    	<dependency org="prom" name="BasicUtils" rev="latest" changing="true" transitive="true" />
    	<dependency org="prom" name="Widgets" rev="latest" changing="true" transitive="true" />
    	<dependency org="prom" name="LTL2Automaton" rev="latest" changing="true" transitive="true" />
    	<dependency org="prom" name="GraphViz" rev="latest" changing="true" transitive="true" />
    	<dependency org="prom" name="LpSolve" rev="latest" changing="true" transitive="true" />

						</package>
					</packages>
				