/lively4-petrinet

• .editorconfig
• .git
• .gitignore
• .gitmodules
• .lively4bootfilelist
• .lively4bundle.zip
• .options
• .transpiled
• .travis.yml
• LICENSE
• README.md
• debugger.html
• demos
• doc
• imprint.md
• js-yaml.js
• karma.conf.js
• media
• node_modules
• package-lock.json
• package.json
• src
• start.html
• swx-loader.js
• templates
• test
• test-loader.js
• test-main.template.js
• test.js