3 ms·
This looks like it could be modelled by a petri net. Your states are typed tokens, and tasks (ie transitions) are triggered by the presence of tokens and produc
by kitd 3y ago
This looks like it could be modelled by a petri net. Your states are typed tokens, and tasks (ie transitions) are triggered by the presence of tokens and produce tokens as output.
IMHO petri nets are the most widely applicable method for modelling concurrent processes that I've seen yet.
- samsquire 3y agoI've read casually around petri nets and graphical diagrams. I would love to talk more about this. Would you like to talk more about this subject?