Transformation algorithm from ladder diagram to SFC using temporal logic

T Zanma, T Suzuki, A Inaba, S Okuma - IEEJ Transactions on …, 1997 - jstage.jst.go.jp
Ladder Diagram (LD) has been widely used in industries as a language for sequential
controls. However, the LD can not represent sequential flows of control logics explicitly. This …

Hardware Petri Nets on Programmable Devices

M Nakamura, Y Amau, T Matsumura… - IEEJ Transactions on …, 2002 - jstage.jst.go.jp
Petri nets are a mathematical tool well suited for modeling and analysis of Discrete Event
Dynamic Sys tems (DEDS). In this paper, we propose and implement hardware Petri nets on …

A Genetic Algorithm Approach to Minimum Initial Marking Problems of Petri Nets

K Hachiman, M Nakamura, S Tamaki… - IEEJ Transactions on …, 2002 - jstage.jst.go.jp
The minimum initial marking problem is one of the important problems for Petri net analysis.
We proposed a new solution based on a Genetic algorithm with heuristic rearrangement of …

Modelling and Control of Autonomous Distributed Manufacturing Systems via Agent Nets

T Miyamoto, S Kumagai - Journal of the Robotics Society of Japan, 1997 - jstage.jst.go.jp
生産形態の多品種小量生産への移行により, シ ステム構成の変化に対する柔軟性, 一
部構成要素の故障に対する頑健性, シ ステム設計の構築容易性などに富んだシステムの設計論の …

センサ搭載製品の設計のための使い方を考慮した機能検証法

森永英二, 若松栄史, 目賀眞周… - システム制御情報学会論文 …, 2016 - jstage.jst.go.jp
抄録 Recent globalization in industries has increased the number of product failures and
troubles caused by using them in unexpected ways. To avoid such troubles, it is necessary …

サービス受給中の期待形成を考慮した待ち時間に関する顧客満足度の解析

嶋田敏, 多比良恵, 原辰徳, 新井民夫 - 日本経営工学会論文誌, 2013 - jstage.jst.go.jp
抄録 顧客満足度はサービスの品質と顧客の期待との差分である. 顧客はサービスに関する情報に
基づいて期待を形成するため, 提供者から顧客へとサービスの情報を伝達することは期待形成の …

ネット理論− ペトリネットとその解析問題−

太田淳, 辻孝吉 - 電子情報通信学会基礎・境界ソサイエティ …, 2009 - jstage.jst.go.jp
抄録 ペトリネットはコンカレントシステムの重要なモデルの一つである. ペトリネットはチューリング
機械と有限オートマトンの中間のモデル化, 解析能力を持つ. ペトリネットの構造を限定することで …

ハイブリッドペトリネット

潮俊光 - 計測と制御, 1999 - jstage.jst.go.jp
ハイブリッドペトリネット Page 1 解説:ミ ニ特集 ハイブリッドなシステムの制御 ハイブリッドペトリネット
潮 俊 光* *大 阪 大 学 大 学 院 基 礎 工 学 研 究 科 豊 中 市 待 兼 山町1-3 *Graduate School of …

時間論理によるラダー図からSFC への変換法

残間忠直, 鈴木達也, 稲葉昭夫, 大熊繁 - 電気学会論文誌. D, 産業応用 …, 1997 - jlc.jst.go.jp
Ladder Diagram (LD) has been widely used in industries as a language for sequential
controls. However, the LD can not represent sequential flows of control logics explicitly. This …

取引処理のための基幹情報システムの状態側面から見た一般モデル

児玉公信 - 研究報告情報システムと社会環境(IS), 2017 - ipsj.ixsq.nii.ac.jp
論文抄録 取引処理を, 受注者が依頼者からの注文を受けてその要求を満足するまでの一連の処理
とする. 取引処理は企業ビジネスの根幹であり, これを支援する情報処理システムはミッション …