mathcal

Petri网是一种系统的数学模型，在该系统中，进程在被激活时消耗一些资源并产生另一些资源。它们可以用来对商业流程、化学反应、基因激活或并行计算等许多方面进行建模。定义Petri网的范畴模型有不同的方法，如Petri网是幺半群、有边界网、开Petri网等。 这是2020年应用范畴论的第一篇文章，介绍了Carolyn B......