@inproceedings{184e9c9934264b9ba5f6d4331ac6a500,
title = "Structural induction for rings using temporal Petri Nets",
abstract = "We present a new 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. We illustrate the use of the theorem using the problem of demand-driven token circulation.",
author = "Jianan Li and Ichiro Suzuki and Masafumi Yamashita",
year = "1992",
month = jan,
day = "1",
doi = "10.1109/ICSMC.1992.271546",
language = "English",
series = "Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "1730--1735",
booktitle = "1992 IEEE International Conference on Systems, Man, and Cybernetics",
address = "United States",
note = "IEEE International Conference on Systems, Man, and Cybernetics, SMC 1992 ; Conference date: 18-10-1992 Through 21-10-1992",
}