@misc{master-2025-colored,
  author = {Jade Master and Joe Moeller},
  title = {Colored Petri Nets are Monoidal Double Functors},
  year = {2025},
  month = {10},
  eprint = {2510.01946},
  archiveprefix = {arXiv}
}