Structural induction for rings using temporal Petri Nets

Jianan Li, Ichiro Suzuki, Masafumi Yamashita

Research output: Chapter in Book/Report/Conference proceedingConference 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 languageEnglish
Title of host publication1992 IEEE International Conference on Systems, Man, and Cybernetics
Subtitle of host publicationEmergent Innovations in Information Transfer Processing and Decision Making, SMC 1992
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages1730-1735
Number of pages6
ISBN (Electronic)0780307208, 9780780307209
DOIs
Publication statusPublished - Jan 1 1992
EventIEEE International Conference on Systems, Man, and Cybernetics, SMC 1992 - Chicago, United States
Duration: Oct 18 1992Oct 21 1992

Publication series

NameConference Proceedings - IEEE International Conference on Systems, Man and Cybernetics
Volume1992-January
ISSN (Print)1062-922X

Other

OtherIEEE International Conference on Systems, Man, and Cybernetics, SMC 1992
CountryUnited States
CityChicago
Period10/18/9210/21/92

All Science Journal Classification (ASJC) codes

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

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