Author: niels Date: Thu Jul 15 14:27:46 2010 New Revision: 5933 URL: http://svn.gna.org/viewcvs/service-tech?rev=5933&view=rev Log: Wendy Release Candidate:
Version 3.1 (15 July 2010) ========================== * implemented parameter `--noDeadlockDetection' to switch off early deadlock detection for more detailed diagnosis information * implemented result-file output for the diagnosis mode * reimplemented diagnosis and included treatment of livelocks * fixed bug #16258 (see `https://gna.org/bugs/?16258'): nets without final markings are now treated correctly * updated the Petri Net API 4.02-unreleased (revision r5932) * updated tool paper (see `doc/toolpaper.pdf') to published version of Niels Lohmann and Daniela Weinberg. Wendy: A tool to synthesize partners for services. In Johan Lilius and Wojciech Penczek, editors, 31st International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings, volume 6128 of Lecture Notes in Computer Science, pages 297-307, June 2010. Springer-Verlag Modified: trunk/wendy/ChangeLog trunk/wendy/NEWS trunk/wendy/configure.ac trunk/wendy/doc/ChangeLog.texi trunk/wendy/libs/pnapi/automaton.cc trunk/wendy/libs/pnapi/exception.cc trunk/wendy/libs/pnapi/exception.h trunk/wendy/libs/pnapi/formula.cc trunk/wendy/libs/pnapi/formula.h trunk/wendy/libs/pnapi/interface.cc trunk/wendy/libs/pnapi/interface.h trunk/wendy/libs/pnapi/io-format.cc trunk/wendy/libs/pnapi/marking.cc trunk/wendy/libs/pnapi/myio.cc trunk/wendy/libs/pnapi/myio.h trunk/wendy/libs/pnapi/parser-lola-wrapper.cc trunk/wendy/libs/pnapi/parser-lola.cc trunk/wendy/libs/pnapi/parser-owfn-wrapper.cc trunk/wendy/libs/pnapi/parser-owfn-wrapper.h trunk/wendy/libs/pnapi/parser-owfn.cc trunk/wendy/libs/pnapi/parser-owfn.h trunk/wendy/libs/pnapi/parser-pn-wrapper.cc trunk/wendy/libs/pnapi/parser-pnml-wrapper.cc trunk/wendy/libs/pnapi/parser-sa-wrapper.cc trunk/wendy/libs/pnapi/parser-woflan-wrapper.cc trunk/wendy/libs/pnapi/parser-woflan.cc trunk/wendy/libs/pnapi/parser.h trunk/wendy/libs/pnapi/petrinet-pn.cc trunk/wendy/libs/pnapi/petrinet-reduction.cc trunk/wendy/libs/pnapi/petrinet.cc trunk/wendy/libs/pnapi/petrinet.h trunk/wendy/libs/pnapi/port.cc trunk/wendy/libs/pnapi/port.h trunk/wendy/libs/pnapi/state.h trunk/wendy/libs/pnapi/util.h trunk/wendy/src/Diagnosis.cc trunk/wendy/src/InnerMarking.cc trunk/wendy/src/StoredKnowledge.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.
