A Basic Theorem for Modular Synthesis of State Machine Allocatable Nets(Special Section on Concurrent Systems Technology)

スポンサーリンク

概要

• 論文の詳細を見る

• Basic structural characteristics, which are useful in modular synthesis based on strongly connected state machines, of SMA/LBFC nets are discussed in this paper. A more convincing and direct proof of the equivalence of two structural characterization of the class of Petri nets is given. This proof will give clearer view of the structural characteristics of LBFC/SMA nets. On the other hand, however, the structural characteristics are not practically amenable in application to modular synthesis of SMA nets from a given set of SCSM's since all possible SCSM's should be examined for the verification of the given conditions. The later half of this paper is devoted into strengthening the results, i.e., in composition of an SMA net from a given set of SCSM's the condition is also satisfied in any SCSM generated by composition.

• 社団法人電子情報通信学会の論文
• 1998-04-25

著者

• LEE Dong-Ik

  the Department of Information and Communications, Kwang-Ju Institute of Science & Technology(K-JIST)

• Choe Young-han

  The Protocol Engineering Center Electronics And Telecommunications Research Institute Korea

• Lee Dong-ik

  The Department Of Info.& Comm. K-jist

• Kumagai Sadatoshi

  He Deptartment Of Electric Engineering Osaka University

関連論文

• Test Generation for SI Asynchronous Circuits with Undetectable Faults from Signal Transition Graph Specification(Special Section on Papers Selected from ITC-CSCC 2000)
• A Basic Theorem for Modular Synthesis of State Machine Allocatable Nets(Special Section on Concurrent Systems Technology)
• Performance and Scalability Issues in Mobile Agent Based Workflow Systems(IEICE/IEEE Joint Special Issue on Autonomous Decentralized Systems and Systems' Assurance)
• Translating Concurrent Programs into Speed-Independent Circuits through Petri Net Transformations (Special Section on Concurrent Systems Technology)

スポンサーリンク