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
umi
mysql-spatial
marc
cross-database
scratchcard
jniwrapper
interaction-plot
blobstore
apn
s3-kafka-connector
syncfusion-calendar
drupal-content-types
kendo-clienttemplate
zooming
rancher-cli
moq
openldap
covariant
cache-expiration
doxywizard
vuex4
haskell-ffi
dreal
mutual-exclusion
homebrew-cask
skstorereviewcontroller
plm
external-js
circleci
babel-node