#mathcal
Petri网的线性逻辑组合
Linear Logic Flavoured Composition of Petri Nets
(golem.ph.utexas.edu)
2020-7-30 0:11
Petri网是一种系统的数学模型,在该系统中,进程在被激活时消耗一些资源并产生另一些资源。它们可以用来对商业流程、化学反应、基因激活或并行计算等许多方面进行建模。定义Petri网的范畴模型有不同的方法,如Petri网是幺半群、有边界网、开Petri网等。 这是2020年应用范畴论的第一篇文章,介绍了Carolyn B......
#逻辑
#logic
#mathcal
#美国
#google
#apple
#谷歌
#程序
#rust
#数据
#warning
#游戏
#代码
#ai
#软件
#linux
#设计
#学习
#web2.0
#google
#设计
#创意
#摄影
#游戏
#图片
#软件
#视频
#手机
#广告
#apple
#iphone
#网站
#免费
#下载
#windows
#微软
#firefox
#苹果
#blog
#音乐
#博客
#wordpress
#恶搞
#艺术
#qq
#web
#谷歌
#工具