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
pmml
motion-blur
epoxy-modelview
watson-nlu
calendarkit
yamlbuilder
blazorstrap
sitecore-xdb
sodium
dateonly
aiosmtpd
construction
systypes.h
olcpixelgameengine
coq-linter
aws-security-hub
jsoniq
framemaker
jquery-mobile
basic
iowait
concurrent-processing
foursquare
computability
nsmenuitem
ignore-case
faker.js
jfreechart-fx
asynchronous-javascript
ghci