Author: stephan
Date: Wed Oct 29 08:52:44 2008
New Revision: 3541
URL: http://svn.gna.org/viewcvs/service-tech?rev=3541&view=rev
Log:
+ added method initMarking to initializes the net for marking usage
+ added method calcCurrentMarking to get marking from the init state
+ added method marking2Places to convert a marking m to the old format
+ added method calcSuccessorMarking which calculates a successor marking
m' to m under transition t to be fired
+ added method findLivingTransition which gives a pointer to a
transition t if there is a transition which is activated under marking m
and NULL if there's no such transition
+ added file test_markings.cc to the test cases to examplify the usage
of the markings as I implemented them
* first steps to complete task #6075
Added:
trunk/pnapi/tests/test_markings.cc
Modified:
trunk/pnapi/src/petrinet.cc
trunk/pnapi/src/petrinet.h
trunk/pnapi/tests/Makefile.am
--
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.
