约泽夫·温科夫斯基 Petri网过程代数的公理化特征。 （英语） Zbl 1097.68101号 芬丹。通知。 72，编号1-3，407-420（2006）. 摘要：本文讨论了通过赋予Petri网的过程集序列和并行组合而得到的代数。所考虑的代数是具有附加结构和特殊性质的范畴。证明了所有具有这种性质的结构都可以表示为Petri网过程的代数。 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：Petri网;状态;过程;顺序合成;平行合成;类别;部分幺半群 PDF格式BibTeX公司 XML格式引用 \textit{J.Winkowski}，芬丹。通知。72，编号1--3，407--420（2006；Zbl 1097.68101）