TY - RPRT TI - Whole-grain Petri nets and processes AU - Joachim Kock PY - 2023 DO - 10.1145/3559103 UR - https://arxiv.org/abs/2005.05108 ID - 2005.05108 ER -