Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I have created a stub for this at Petri net. I hope to develop the links with higher dimensional automata and also with linear logic.
I do not see Petri net. Is the capitalization correct ?
It was at Petri nets (plural). I’ve changed the name to Petri net.
OOPS! Sorry and thanks. The plural form was used in a list and I forgot to change it properly.
Any help on the link with LL would be appreciated. I know the systems modelling aspect which I have taught (and thoroughly enjoyed that as did the students as it seems to be an abstraction that somehow made sense to them.) I know the LL part but less well. Here I am following an agenda to explore the recent preprint by Goubault and Mimram on cubical sets, higher transitions systems etc. so initially I will try to write those parts that are needed for that aim, but feel that it is good stuff and some of the other aspects need exploring as well.
1 to 6 of 6