petrinets / petrinets.github.io

Petrinet.org interactive playground website

petrinet.info

Running using docker

After starting jekyll serve in a docker container, surf to localhost:4048

sh docker-run-jekyll.sh

Building

This needs ruby > 2.X.X and bundler

gem install bundler

to start dev server

bundle config build.nokogiri --use-system-libraries
bundle install --path vendor/bundle
bundle exec jekyll serve

petrinets.github.io's Issues

Build the "edit" button into template

Use Jekyll variables to automatically generate the edit link

See jekyll/jekyll-help#5 (comment)

Setup domains

link to

• petrinet.info
• petrinet.org

some bugs / ui improvements

various thingies:

• bug: the produced token is very small
• the red/green regions should be bigger, say 2.5-3x the size
• change the font to be non-monospaced
• remove the gray background, so it becomes transparent (or opaque white if transparent is not possible)
• the transitions and places should have a different colour, both are now gray
• the animation is very slow, which is problematic when demonstrating the tool. It should be sped up, at least 2x, I think

Add the dining philosophers net

Fix the rendering of nets on firefox

The shadow dom is not working as intended in Firefox (nets still "fire each other")

Using the shadydom polyfill. https://github.com/webcomponents/shadydom

examples from John Baez blog

update petrinet.org
we can add the examples from john baez blog

would be nice if we could somehow have john embed the interactive stuff on his blog

cc @epost

links to detail pages are broken

links to detail pages are broken, they link to (for example): https://petrinets/pawels-net.html

arc weights not rendered in FF

arc weights are not rendered in firefox

bounding box seems wrong

on this net, the boundingbox is not correct:

Use collections

Should use Jekyll collections to create the landing page based on detail markdown files for each net

Use the elm petrinet viewer

Small improvements

https://hackmd.io/3daTUAOvRguhKMZmPbTEhg

Update "single net" view

Forgot to update the individual net pages