Web-based Petri net animation
latest change: January 31, 2011
Hints :
- Pick a Petri net,
- zoom in/out using the vertical slider,
- increase token number by left mouse klick,
- decrease token number by shift+left mouse klick,
- select firing strategy (single/intermediate/maximal step),
- animate by klick on enabled transition or panel button,
- . . . and enjoy.
Known bugs:
- does not work with Internet Explorer (xsl technology not supported yet);
- problems occasionally reported with Safari, Chrome;
- Opera has problems with hierarchical nets, initial marking not given;
- seems to work fine with Firefox;
- firing of logical transitions buggy;
- comments appear not always at the right position;
- splines are not supported;
Introduction
to introduce the firing rule: 2 H2 + O2 -> 2 H2O
a simplified version of the tram network in cottbus
how to organize conjunctions
how to organize the lines
a simple cycling tram system
a simple cyclic train system, 1-distance
a simple cyclic train system, 2-distance
Case Study - Verification of Technical Systems
a simple lift system
. . . T H E E N D . . .
Any comments or questions are welcome. Please direct them to:
snoopy(at)informatik(dot)tu-cottbus(dot)de