Author: massuthe
Date: Fri Nov 7 17:12:45 2008
New Revision: 3574
URL: http://svn.gna.org/viewcvs/service-tech?rev=3574&view=rev
Log:
Update of bug [service-tech, bugs #12561] Fiona: phdcontrol3.owfn is
controllable with Fiona 2.0, but not with Fiona 3.0:
+ All philosophers now have a FINALMARKING instead of a FINALCONDITION as it is
more compact and more intuitive to represent exactly one marking.
+ Synchronized the files in the two different folders.
Modified:
trunk/fiona/nets/phcontrol10.unf.owfn
trunk/fiona/nets/phcontrol3.unf.owfn
trunk/fiona/nets/phcontrol4.unf.owfn
trunk/fiona/nets/phcontrol5.unf.owfn
trunk/fiona/nets/phcontrol6.unf.owfn
trunk/fiona/nets/phcontrol7.unf.owfn
trunk/fiona/nets/phcontrol8.unf.owfn
trunk/fiona/nets/phcontrol9.unf.owfn
trunk/fiona/tests/philosophers.sh
trunk/fiona/tests/philosophers/phcontrol10.unf.owfn
trunk/fiona/tests/philosophers/phcontrol10.unf.owfn.png
trunk/fiona/tests/philosophers/phcontrol3.unf.owfn
trunk/fiona/tests/philosophers/phcontrol3.unf.owfn.png
trunk/fiona/tests/philosophers/phcontrol4.unf.owfn
trunk/fiona/tests/philosophers/phcontrol4.unf.owfn.png
trunk/fiona/tests/philosophers/phcontrol5.unf.owfn
trunk/fiona/tests/philosophers/phcontrol5.unf.owfn.png
trunk/fiona/tests/philosophers/phcontrol6.unf.owfn
trunk/fiona/tests/philosophers/phcontrol6.unf.owfn.png
trunk/fiona/tests/philosophers/phcontrol7.unf.owfn
trunk/fiona/tests/philosophers/phcontrol7.unf.owfn.png
trunk/fiona/tests/philosophers/phcontrol8.unf.owfn
trunk/fiona/tests/philosophers/phcontrol8.unf.owfn.png
trunk/fiona/tests/philosophers/phcontrol9.unf.owfn
trunk/fiona/tests/philosophers/phcontrol9.unf.owfn.png
--
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.
