#mathcal

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