petri network's editor

Getting Started

- git clone  https://github.com/imsp2023/petri_network.git

Name		Name	Last commit message	Last commit date
Latest commit History 117 Commits
build		build
doc/Images		doc/Images
src		src
tests		tests
.gitignore		.gitignore
README.md		README.md
config.js		config.js
icon.js		icon.js
index.html		index.html
m_petri.png		m_petri.png
note.txt		note.txt
package-lock.json		package-lock.json
package.json		package.json
petri.org		petri.org
pnpm-lock.yaml		pnpm-lock.yaml
rollup.config.js		rollup.config.js
rollup.dev.js		rollup.dev.js
todo		todo