News for hackers. Stuff that matters.

A comment on Categories of Nets. Parent comment

Re:Categories of Nets by timvdalen on Monday January 18, 2021 @08:44AM (#25821670)
Petri nets (and variant colored petri nets) are just ways of modeling states. We used them in my CS program to model application states for program verification.
[ Parent | on HN ]
Re:Categories of Nets by FabGenovese on Monday January 18, 2021 @12:50PM (#25824411)
I've got a paper about colored nets as well :) https://arxiv.org/abs/2002.02762 Timed nets is in the works ^_^
[ Parent | on HN ]