3 ms·
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
by timvdalen 6y ago
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.
- FabGenovese 6y agoI've got a paper about colored nets as well :) https://arxiv.org/abs/2002.02762 https://arxiv.org/abs/2002.02762 Timed nets is in the works ^_^