ProM6.1 doesn't launch with plugin Transitionsystems

bartsmeets

Dear,

I can't get ProM to run with the plugin TransitionSystems installed. Without it, ProM runs fine.

I get the following error:

I already tried clearing the plugin cache and redownloading the plugins. Reinstalled ProM and Java, but to no avail. Does anyone have a solution for this?

Thanks in advance!

hverbeek

Dear Bart Smeets,

Pelase op the file packages.xml in your .ProM61/packages folder, and look for the following lines:

  <package name="TransitionSystems" version="6.1.62" os="all" url="http://www.promtools.org/prom6/packages61/TransitionSystems/TransitionSystems-6.1.62-all.zip" desc="Transition Systems" org="Eindhoven University of Technology" auto="false" hasPlugins="true" license="LGPL" author="H.M.W. Verbeek" maintainer="H.M.W. Verbeek" logo="http://www.promtools.org/prom6/packages61/prom_subtitle_hat_300.png">
    <dependency name="Log" />
    <dependency name="Animation" />
    <dependency name="OSService" />
  </package>

These lines state that the TransitionSystems apcakge depends on the Log, Animation, and OSService package. Please add a dependency to the OperationalSupport package as well. Please be aware that this fragment occurs twice in the file, please change them both.



As far as I can tell, in your case ProM tries to load the Transition Systems miner before it has loaded the OperationalSupport package, which fails as there smees to be some dependency (sorry for that).

Cheers,

Eric.