Skip to content

No labels!

There aren’t any labels for this repository quite yet.

49 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
animation
animation
2
API
API
12
arc
arc
1
bug
bug
Something isn't working
3
build
build
build, deploy, CI
17
compatibility
compatibility
2
constraint
constraint
Constraints on Petri net arcs
create
create
decode
decode
Parse / decode / deserialise
9
deploy
deploy
1
diagram
diagram
4
doc
doc
5
duplicate
duplicate
This issue or pull request already exists
edit
edit
2
enhancement
enhancement
New feature or request
1
execution
execution
good first issue
good first issue
Good for newcomers
grid
grid
Grid editor component related
1
hack
hack
hacks and workarounds (to be undone!)
1
help wanted
help wanted
Extra attention is needed
http
http
5
invalid
invalid
This doesn't seem right
kdmoncat
kdmoncat
kdmoncat diagrams
3
marking
marking
1
navigation
navigation
menus, navigation, routing
1
node-group
node-group
1
petri net
petri net
9
place
place
1
PNPRO
PNPRO
GreatSPN Editor PNPRO format
project
project
2