Author: al020
Date: Fri May 11 14:21:52 2012
New Revision: 7506
URL: http://svn.gna.org/viewcvs/service-tech?rev=7506&view=rev
Log:
* added nets where node names in lola equals the node names in the PNML
* EXCEPTION: lamport_fmea: Places are equal, Transitions NOT! (=ID)
Added:
trunk/meta/nets/challenge/sumo-contest-2012/FMS/FMS-10.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/FMS/FMS-100.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/FMS/FMS-2.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/FMS/FMS-20.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/FMS/FMS-200.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/FMS/FMS-5.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/FMS/FMS-50.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/FMS/FMS-500.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/Kanban/Kanban-10.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/Kanban/Kanban-100.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/Kanban/Kanban-1000.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/Kanban/Kanban-20.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/Kanban/Kanban-200.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/Kanban/Kanban-5.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/Kanban/Kanban-50.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/Kanban/Kanban-500.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/MAPK/MAPK-160.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/MAPK/MAPK-20.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/MAPK/MAPK-320.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/MAPK/MAPK-40.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/MAPK/MAPK-8.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/MAPK/MAPK-80.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/Peterson/Peterson-2.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/Peterson/Peterson-3.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/Peterson/Peterson-4.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/Peterson/Peterson-5.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/Peterson/Peterson-6.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/Peterson/Peterson-7.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/Philosophers/Philosophers-10.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/Philosophers/Philosophers-100.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/Philosophers/Philosophers-1000.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/Philosophers/Philosophers-10000.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/Philosophers/Philosophers-20.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/Philosophers/Philosophers-200.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/Philosophers/Philosophers-2000.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/Philosophers/Philosophers-5.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/Philosophers/Philosophers-50.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/Philosophers/Philosophers-500.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/Philosophers/Philosophers-5000.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/SharedMemory/shared_memory-pt-10.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/SharedMemory/shared_memory-pt-100.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/SharedMemory/shared_memory-pt-20.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/SharedMemory/shared_memory-pt-200.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/SharedMemory/shared_memory-pt-5.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/SharedMemory/shared_memory-pt-50.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/TokenRing/TokenRing-pt-10.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/TokenRing/TokenRing-pt-20.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/TokenRing/TokenRing-pt-5.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/TokenRing/TokenRing-pt-50.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/cs_repetitions/cs_repetitions-100.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/cs_repetitions/cs_repetitions-225.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/cs_repetitions/cs_repetitions-25.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/cs_repetitions/cs_repetitions-400.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/cs_repetitions/cs_repetitions-49.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/cs_repetitions/cs_repetitions-625.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/cs_repetitions/cs_repetitions-900.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/echo/echo-d2r11.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/echo/echo-d2r15.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/echo/echo-d2r19.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/echo/echo-d2r9.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/echo/echo-d3r3.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/echo/echo-d3r5.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/echo/echo-d3r7.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/echo/echo-d4r3.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/echo/echo-d5r3.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/eratosthenes/eratosthenes-005.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/eratosthenes/eratosthenes-010.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/eratosthenes/eratosthenes-020.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/eratosthenes/eratosthenes-050.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/eratosthenes/eratosthenes-100.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/eratosthenes/eratosthenes-200.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/eratosthenes/eratosthenes-500.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/galloc_res/galloc_res-3.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/galloc_res/galloc_res-5.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/galloc_res/galloc_res-6.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/lamport_fmea/lamport_fmea-2.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/lamport_fmea/lamport_fmea-3.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/lamport_fmea/lamport_fmea-4.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/lamport_fmea/lamport_fmea-5.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/lamport_fmea/lamport_fmea-6.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/lamport_fmea/lamport_fmea-7.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/lamport_fmea/lamport_fmea-8.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/neoelection/neoelection-2.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/neoelection/neoelection-3.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/neoelection/neoelection-4.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/neoelection/neoelection-5.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/neoelection/neoelection-6.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/neoelection/neoelection-7.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/neoelection/neoelection-8.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/philo_dyn/philo_dyn-10.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/philo_dyn/philo_dyn-2.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/philo_dyn/philo_dyn-20.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/philo_dyn/philo_dyn-3.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/planning/planning.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/railroad/railroad-005-pt.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/railroad/railroad-010-pt.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/railroad/railroad-020-pt.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/railroad/railroad-050-pt.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/railroad/railroad-100-pt.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/ring/ring.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/rwmutex/rwmutex-r1000w10.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/rwmutex/rwmutex-r100w10.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/rwmutex/rwmutex-r10w10.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/rwmutex/rwmutex-r10w100.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/rwmutex/rwmutex-r10w1000.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/rwmutex/rwmutex-r10w20.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/rwmutex/rwmutex-r10w2000.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/rwmutex/rwmutex-r10w50.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/rwmutex/rwmutex-r10w500.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/rwmutex/rwmutex-r2000w10.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/rwmutex/rwmutex-r20w10.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/rwmutex/rwmutex-r500w10.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/simple_lbs/simple_lbs-10.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/simple_lbs/simple_lbs-15.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/simple_lbs/simple_lbs-2.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/simple_lbs/simple_lbs-20.name.lola
trunk/meta/nets/challenge/sumo-contest-2012/simple_lbs/simple_lbs-5.name.lola
--
You received this e-mail, because you subscribed the mailing list
"service-tech-commits" which will forward you any e-mail addressed to
[email protected]. If you want to unsubscribe or make any changes to
your subscription, please go to
https://mail.gna.org/listinfo/service-tech-commits.
