TAPAAL

simulation mode

Asked by mauro gamberi

Is it possible with Tapaal to perform a Petri Net simulation automatically and save the relative report?
thanks
mauro

Question information

Language:
English Edit question
Status:
Answered
For:
TAPAAL Edit question
Assignee:
No assignee Edit question
Last query:
Last reply:
Revision history for this message
Jiri Srba (srba) said : 		#1

Thanks for the question. Indeed random simulation is possible. In the simulation mode you click on "Settings" button
and then select "Random delay" and "Select next transition randomly". Now when clicking the "Fire and Delay" button
(or by pressing the enter button which will repeat the steps automatically) you get a random simulation of the net
behaviour. At the moment the created trace cannot be automatically exported, but I am adding this as a bug request
and hope that it will become part of the next release after summer.

Revision history for this message
Jiri Srba (srba) said : 		#2

We are happy to announce the release of TAPAAL 2.4.0 that now supports automatic simulator and
export/import of traces from the simulation module. Let us know, please, if you need any assistance with
using these new features. The newest version can be obtained from download section at www.tapaal.net.

Can you help with this problem?

Provide an answer of your own, or ask mauro gamberi for more information if necessary.

To post a message you must log in.