I am have been trying out CPNTools for exploring and simulating colored petri nets. It seems like PNML is the standard format of petri nets. Also colored petri
code-splitting
image-management
jstree-search
java-cfenv
osmium
vertx-kafka-client
oauth2-playground
gvfs
server
list-manipulation
xsltforms
administrate
smart-http
zigzag
sharepoint-designer
symfony-4.4
svelte
wpftoolkit
vapix
trace32
blinker
google-developer-tools
memcached
dynamic-reports
amazon-ami
microsoft-planner
layered-windows
android-biometric-prompt
python-3.9
application-security