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
acrobat-sdk
ios-app-signing
rhino3d
setup-wizard
custom-font
google-books-api
contingency
nps
project-server-2007
argo-workflows
mixed-integer-programming
ejabberd
ora-00979
subpartition
chocolatey
bigdata
usleep
easyphp-webserver
express-fileupload
pyppeteer
laravel-jwt
mule-studio
shopping
blobxfer
android-menu
conductor
network-error-logging
jsr354
jenkins-workflow
libdispatch