彼得亚·科尔茨托夫斯基-瓦赫特尔;马雷克·拉祖纳斯 加权电路的活泼性和Frobenius的丢番图问题。 (英语) Zbl 0794.68113号 埃西克,佐尔坦(编辑),《计算理论基础》。第九届国际会议,1993年8月23日至27日,匈牙利塞格德FCT’93。诉讼程序。柏林:Springer-Verlag。勒克特。注释计算。科学。710, 171-180 (1993). 摘要:本文讨论加权保守电路的活性问题。标记的重量为我们提供了有关其活性的重要信息。有些砝码只对应于活的标记,有些只对应于死的标记,而有些则同时对应于两者。具有相同重量的活标记和死标记的同时存在与状态方程解产生的几个等价类的存在相关。我们称之为轨道。从给定的标记不可能到达属于不同轨道的状态,这创造了一个相同重量的死标记和活标记共存的机会。不同的轨道也与一种冻结标记的存在有关。弗罗贝尼乌斯的丢番图问题被用来确定最小活重的公式。关于整个系列,请参见[Zbl 0875.00104号]. 引用于2文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 2004年11月11日 线性丢番图方程 关键词:结构理论;加权电路;Frobenius的丢番图问题;活力;Petri网 PDF格式BibTeX公司 XML格式引用 \textit{P.Chrząstowski-Wachtel}和\textit{M.Raczunas},莱克特。注释计算。科学。710171-180(1993年;Zbl 0794.68113)