Structural induction for rings using temporal Petri Nets

Jianan Li; Ichiro Suzuki; Masafumi Yamashita

doi:10.1109/ICSMC.1992.271546

Structural induction for rings using temporal Petri Nets

Jianan Li, Ichiro Suzuki, Masafumi Yamashita

Mathematical Informatics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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.

Original language	English
Title of host publication	1992 IEEE International Conference on Systems, Man, and Cybernetics
Subtitle of host publication	Emergent Innovations in Information Transfer Processing and Decision Making, SMC 1992
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	1730-1735
Number of pages	6
ISBN (Electronic)	0780307208, 9780780307209
DOIs	https://doi.org/10.1109/ICSMC.1992.271546
Publication status	Published - Jan 1 1992
Event	IEEE International Conference on Systems, Man, and Cybernetics, SMC 1992 - Chicago, United States Duration: Oct 18 1992 → Oct 21 1992

Publication series

Name	Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics
Volume	1992-January
ISSN (Print)	1062-922X

Other

Other	IEEE International Conference on Systems, Man, and Cybernetics, SMC 1992
Country	United States
City	Chicago
Period	10/18/92 → 10/21/92

All Science Journal Classification (ASJC) codes

Electrical and Electronic Engineering
Control and Systems Engineering
Human-Computer Interaction

Access to Document

10.1109/ICSMC.1992.271546

Fingerprint Dive into the research topics of 'Structural induction for rings using temporal Petri Nets'. Together they form a unique fingerprint.

Cite this

Li, J., Suzuki, I., & Yamashita, M. (1992). Structural induction for rings using temporal Petri Nets. In 1992 IEEE International Conference on Systems, Man, and Cybernetics: Emergent Innovations in Information Transfer Processing and Decision Making, SMC 1992 (pp. 1730-1735). [271546] (Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics; Vol. 1992-January). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ICSMC.1992.271546

Structural induction for rings using temporal Petri Nets. / Li, Jianan; Suzuki, Ichiro; Yamashita, Masafumi.

1992 IEEE International Conference on Systems, Man, and Cybernetics: Emergent Innovations in Information Transfer Processing and Decision Making, SMC 1992. Institute of Electrical and Electronics Engineers Inc., 1992. p. 1730-1735 271546 (Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics; Vol. 1992-January).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Li, J, Suzuki, I & Yamashita, M 1992, Structural induction for rings using temporal Petri Nets. in 1992 IEEE International Conference on Systems, Man, and Cybernetics: Emergent Innovations in Information Transfer Processing and Decision Making, SMC 1992., 271546, Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics, vol. 1992-January, Institute of Electrical and Electronics Engineers Inc., pp. 1730-1735, IEEE International Conference on Systems, Man, and Cybernetics, SMC 1992, Chicago, United States, 10/18/92. https://doi.org/10.1109/ICSMC.1992.271546

Li J, Suzuki I, Yamashita M. Structural induction for rings using temporal Petri Nets. In 1992 IEEE International Conference on Systems, Man, and Cybernetics: Emergent Innovations in Information Transfer Processing and Decision Making, SMC 1992. Institute of Electrical and Electronics Engineers Inc. 1992. p. 1730-1735. 271546. (Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics). https://doi.org/10.1109/ICSMC.1992.271546

Li, Jianan ; Suzuki, Ichiro ; Yamashita, Masafumi. / Structural induction for rings using temporal Petri Nets. 1992 IEEE International Conference on Systems, Man, and Cybernetics: Emergent Innovations in Information Transfer Processing and Decision Making, SMC 1992. Institute of Electrical and Electronics Engineers Inc., 1992. pp. 1730-1735 (Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics).

@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",

}

TY - GEN

T1 - Structural induction for rings using temporal Petri Nets

AU - Li, Jianan

AU - Suzuki, Ichiro

AU - Yamashita, Masafumi

PY - 1992/1/1

Y1 - 1992/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84960327996&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84960327996&partnerID=8YFLogxK

U2 - 10.1109/ICSMC.1992.271546

DO - 10.1109/ICSMC.1992.271546

M3 - Conference contribution

AN - SCOPUS:84960327996

T3 - Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics

SP - 1730

EP - 1735

BT - 1992 IEEE International Conference on Systems, Man, and Cybernetics

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - IEEE International Conference on Systems, Man, and Cybernetics, SMC 1992

Y2 - 18 October 1992 through 21 October 1992

ER -