Structural induction for rings using temporal Petri nets
Chicago, IL(1992)
摘要
The authors present a novel structural induction theorem for rings consisting of identical components that are modeled using a Petri net and a temporal logic formula. The theorem can be used to formally infer the correctness of a ring of any large size from the correctness of a ring having fewer components.. The use of the theorem is illustrated using the problem of demand-driven token circulation
更多查看译文
关键词
petri nets,finite state machines,temporal logic,temporal reasoning,concurrent systems,demand-driven token circulation,rings,structural induction,temporal petri nets,logic,computer science,independent component analysis,automata,petri net
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络