Author: fahland
Date: Fri Aug 8 21:30:46 2008
New Revision: 3240
URL: http://svn.gna.org/viewcvs/service-tech?rev=3240&view=rev
Log:
# fixed some bugs in the generation of the safeness-task
+ added routine to remove empty output pinsets which is needed for a
deadlock-based soundness analysis of Petri nets, the routine is not used in
this version because for BOM processes, only the modelchecking-based soundness
analysis yields correct results (the inner of the process must be empty).
Modified:
trunk/uml2owfn_soundness2/scripts/translate-library.sh
trunk/uml2owfn_soundness2/src/block.cc
trunk/uml2owfn_soundness2/src/block.h
trunk/uml2owfn_soundness2/src/bom-process.cc
trunk/uml2owfn_soundness2/src/bom-process.h
trunk/uml2owfn_soundness2/src/frontend-parser.yy
trunk/uml2owfn_soundness2/src/options.h
trunk/uml2owfn_soundness2/src/petrinet-formula.cc
trunk/uml2owfn_soundness2/src/petrinet-formula.h
trunk/uml2owfn_soundness2/src/uml2owfn.cc
--
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.
