simulation mode

Asked by mauro gamberi on 2013-06-24

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

Question information

English Edit question
TAPAAL Edit question
No assignee Edit question
Last query:
Last reply:
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.

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

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.