data structures and software dependability

• home

• contact

• members

• teaching

• research

• publications

• software

• events

Web-based Petri net animation, Sampler for Debugging

latest change: May 08, 2020, at 09:50 AM

currently supported browsers:

• Chrome (tested on version: 71 64-bit)
• Firefox (tested on version: Quantum 64.0.2 64-bit)
• Safari (tested on version: 9.1.3)

not working browsers

• Edge (tested on version: 44.17763.1.0) - does not show menu and can't hide hierarchies
• Internet Explorer - xsl technology not supported

Hints:

• pick a Petri net,
• zoom in/out using the vertical slider,
• increase token number by left mouse click,
• decrease token number by shift+left mouse click,
• select firing strategy (single/intermediate/maximal step),
• animate by clicking on enabled transition or panel button,

... and enjoy

hints re web-based animation:

• logical nodes not highlighted;
• firing of logical transitions buggy;
• firing with hierarchy buggy;
• no support of splines, constants;
• for comparison, download the net and animate locally; when opening the net, chose 'do nothing'.

some correctly working examples

no logical nodes, no hierarchies, only read arcs as special arcs

• (pn) - to introduce the firing rule: 2H₂ + O₂ -> 2H₂O
• (pn) - some basic scenarios
• (pn) - metabolic vs. signal transduction networks
• (pn) - transcription + translation (gene - mRNA - protein)

tested on

• safari, Version 12.1.2 (12607.3.10) by mh, 2020/05/08

new functionality - constants to parameterise a PN

Constants are useful to parameterise a given model; integer constants can be used as arc weights or to set the initial marking.

• procon, bounded.pn - no constants
• procon, bounded.pn - constant to specify buffer size -> initial marking
• SIR_cb.pn - no constants
• constant used as arc weight:

some known bugs

logical nodes not highlighted

• (pn) - layout options

hierarchy: interface places not correctly coloured

• (hpn) - animation of hierarchical transitions.

animation of logical transition buggy

• (pn) - layout options: logical transition fires, after correct alert that the transition is not enabled
• (pn) - repressilator, inspired by [Phillips 2008]; [LH14]

Sequence options in the animation panel are not working -changing colors of the object state ,for example,changing color of the current transitions.

resolved bugs

special arcs not represented correctly

• circadian clock [Barkai 2000], [PRISM Tutorial] -> circadian clock.xml

coloured nodes not shown correctly

• basic fault tree1.spped - basic fault tree1.pn -> basic fault tree1.xml
• basic fault tree2.spped -> basic fault tree2.xml
• procon, sequential.pn -> procon, sequential.xml
• procon, parallel.pn -> procon, parallel.xml

hint, nikolas: if still not shown correctly, open in Snoopy and save to new file;

bug in visualisation of hierarchies: connecting arcs missing

• hierarchical.pn - countCharSystem, course 'sw testing' -> hierarchical.xml
• garden.pn - botanical garden, course 'concurrency' -> garden.xml