Author: fahland
Date: Wed May 28 11:13:51 2008
New Revision: 68
URL: http://svn.gna.org/viewcvs/service-tech?rev=68&view=rev
Log:
Petri net output has been changed: merged the Petri net output of the soundness
branch, http://svn.gna.org/viewcvs/service-tech?rev=67&view=rev, with the trunk.
Extended and corrected the TestSuite:
- there were some errors involving connection multiplicities, fixed.
- added a test case that explicitly distinguishes termination of process via
stop node and end node wrt. activation of output pinsets
Modified:
trunk/uml2owfn/src/petrinet-output.cc
trunk/uml2owfn/src/petrinet.h
trunk/uml2owfn/tests/compiler/TestSuite.txt
trunk/uml2owfn/tests/compiler/TestSuite.xml
_______________________________________________
Service-tech-commits mailing list
[email protected]
https://mail.gna.org/listinfo/service-tech-commits
