JPH1049206A

JPH1049206A - シーケンスプログラム作成装置

Info

Publication number: JPH1049206A
Application number: JP20186996A
Authority: JP
Inventors: Toshinori Tsubomoto; 利紀坪本; Naoki Tamura; 直樹田村
Original assignee: Kobe Steel Ltd
Current assignee: Kobe Steel Ltd
Priority date: 1996-07-31
Filing date: 1996-07-31
Publication date: 1998-02-20

Abstract

(57)【要約】（修正有）【課題】作成したシーケンスプログラムの検証を，実
機のシーケンサによる試運転ではなくエミュレートによ
って行うことができ，その結果から発見された異常動作
の原因となるプレースを容易に且つ確実に検索すること
ができるシーケンスプログラム作成装置を提供する。【解決手段】ペトリネットによって，シーケンス制御
対象機器のシーケンス制御モデルが作成され、また，各
プレースの状態成立条件及び設定情報は，ペトリネット
上の各プレースに関連付けて入力され、上記シーケンス
制御モデルに対応するプログラムが作成される。続い
て，シーケンサの動作をエミュレートすることによって
上記シーケンスプログラムを実行し，そのエミュレート
結果が表示され，当シーケンスプログラムより抽出した
原因デバイス−結果デバイス関係情報を用いて，上記エ
ミュレート結果に基づいて発見された異常動作デバイス
と関連するプレースが連鎖的に検索され，表示される。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は，シーケンスプログラム
作成装置に係り，詳しくは画面上でペトリネットを用い
てシーケンス制御モデルを作成し，上記シーケンス制御
モデルをシーケンスプログラムに変換し，エミュレータ
を用いて上記シーケンスプログラムの検証を行うシーケ
ンスプログラム作成装置に関するものである。

【０００２】

【従来の技術】従来より，シーケンス制御を行うシーケ
ンサのプログラム開発には，ラダー図が多く用いられて
いる。これは，個々の機器の動作条件などをＯＮ，ＯＦ
Ｆの情報の組み合わせによって記述していくものであ
り，現在でも一般的に利用されている。しかし，このラ
ダー図は，個々の条件を羅列していくだけで，全体の制
御の流れが見えにくく，プログラムはそれを作成した本
人にしか理解しにくい。このため，メンテナンス性が悪
いなどの問題点が指摘されている。このような背景のも
と，最近ではペトリネットをシーケンスプログラムの作
成に利用しようとする試みが行われている。例えば，発
明者らは，ペトリネットの持つ制御の流れを見やすくす
るという長所を生かし，制御の流れや各機器の状態を視
覚的に表現しつつも，従来のラダーによるプログラミン
グの特徴を十分取り入れた形のシーケンスプログラム作
成装置を既に出願している（特願平７−１１７２１５
号）。以下，上記特願平７−１１７２１５号に提案され
ているシーケンスプログラム作成装置について，その実
施例を中心に詳しく説明する。図１１に示すごとく，上
記特願平７−１１７２１５号に提案されているシーケン
スプログラム作成装置５１は，上記シーケンス制御に必
要な機能を表現するための複数種類のプレース及び複数
種類のアーク等のネット要素により構成されるペトリネ
ットを用いて入力されたシーケンス制御モデルを記憶す
るモデル記憶手段５２と，上記ペトリネットを構成する
各プレースの状態が成立するようにプレース毎に論理式
の形で入力された条件，及びプレース毎に必要な設定情
報を記憶する条件記憶手段５３と，上記それぞれ記憶さ
れたシーケンス制御モデルと条件及び設定情報とに基づ
いて自動生成される拡張条件を所定の形式のシーケンス
プログラムに変換して表示するシーケンスプログラム表
示手段５４とを具備する。上記モデル記憶手段５２は，
上記シーケンス制御の対象機器の制御状態を表す状態プ
レース，上記シーケンス制御を行うシーケンサのタイマ
ー機能を表す時間プレース，上記シーケンス制御を行う
シーケンサのカウンタ機能を表すカウンタプレース，上
記シーケンサからの出力を表す出力プレース，上記シー
ケンサの各種演算機能を表す演算プレース，上記シーケ
ンサへの入力を表す入力プレース，他のプレースのオン
・オフ情報を参照する参照プレース，シーケンス制御モ
デル中の上流側プレースと下流側プレースとの間にのみ
介在しえてシーケンスプログラムには変換されることの
ないダミー機能を表すダミープレース，ペトリネットを
階層的に記述する階層プレースの全部又は一部，あるい
は上記シーケンサのａ接点接続を表すａ接点接続用アー
ク，上記シーケンサのｂ接点接続を表すｂ接点接続用ア
ーク，上記シーケンサの自己保持回路を表す自己保持解
除用アークの全部又は一部を含むペトリネットを用いて
入力されたシーケンス制御モデルを記憶する。さらに，
上記条件記憶手段５３は画面上で選択されるプレースに
応じて開かれる条件記述ダイアログボックスの中に論理
式の形で入力された条件及びプレースごとに必要な設定
情報を記憶する。上記プレースごとに必要な設定情報
は，ラベル，コメント，デバイス番号，演算命令，当該
プレースへの入出力リスト，タイマーの設定値及びカウ
ンタの設定値の全部又は一部を含む。

【０００３】更に，上記シーケンスプログラム表示手段
５４は，上記シーケンス制御モデルからシーケンサのデ
バイス番号を割り付けるべきプレースを順次抽出するデ
バイス番号割り付けプレース抽出手段５５と，上記抽出
されたプレースに上記シーケンサのデバイス番号を所定
のルールにより自動的に割り付けるデバイス番号自動割
り付け手段５６と，上記シーケンス制御モデルから上記
シーケンスプログラムに変換するプレースを上記自動的
に割り付けられたデバイス番号又は別途指示されたデバ
イス番号に従い順次検出するプレース検出手段５７と，
上記検出されたプレースに対応する条件をトランジショ
ンを介して結合された上流側のプレースにまで適用範囲
を拡張することによって，上記拡張条件を自動生成する
拡張条件生成手段５８と，上記生成された拡張条件をリ
スト形式のプログラムに変換するプログラム変換手段５
９と，上記変換されたリスト形式のプログラムに上記検
出されたプレースの種類に応じて出力命令を付加するこ
とによりリスト形式のシーケンスプログラムを作成する
リスト形式シーケンスプログラム作成手段６０と，上記
作成されたリスト形式のシーケンスプログラムをラダー
形式のプログラムに変換することによりラダー形式のシ
ーケンスプログラムを作成するラダー形式シーケンスプ
ログラム作成手段６１と，上記作成されたリスト形式及
び／又はラダー形式のシーケンスプログラムを表示する
表示手段６２とを具備している。この装置５１の処理手
法は，次の通りである。

【０００４】図１２は，モデル記憶手段５２と条件記憶
手段５３にそれぞれ記憶される入力データの画面例を示
す。この装置５１のシステムは，パーソナルコンピュー
タのWindows 上に構築されており，６３がペトリネット
入力エディタを，６４が条件を記述するための前記条件
記述ダイアログボックスをそれぞれ示している。尚，こ
のシステムでは各プレースをダブルクリックすることに
より，そのプレースに対応した条件記述ダイアログボッ
クスが開くようになっており，ペトリネット図の記述と
条件の記述とを並行して行うことができる。ペトリネッ
ト入力エディタ６３では，アイコン６５より必要なプレ
ースの種類を選択して，マウス（不図示）によりドラッ
グしてくることによって入力できるようになっている。
各プレースにはデバイス番号と呼ばれる番号（Ｍ０，Ｔ
０等）が割り付けられているが，これは，シーケンサに
おける入出力接点番号や，内部リレーに割り付けられて
いる番号と対応している。このようにラダー図の一行を
１つのプレースに対応させることにより図１２に示すペ
トリネットを記述していくことによって，これまでラダ
ー図による開発に慣れ親しんだ人でもラダー図と同じよ
うな感覚や手順で違和感なくプログラムを作成できる。
上記アイコン６５は，図１２中の左から，入力プレー
ス，出力プレース，状態プレース，時間プレース，カウ
ンタプレース，演算プレース，参照プレース，階層プレ
ース，トランジションをそれぞれ表している。この内，
参照プレースは，任意の実体となるプレースのオン・オ
フ情報を参照するもので，図１２の画面中の楔形で示さ
れた「治具１出限界」等がその例である。即ち，あるラ
ベルの実体となるプレースは画面中一つしかなく，その
プレースの情報を他のプレース等に使いたい場合は，通
常そのプレースと他のプレース等とをアークで接続す
る。しかし，アークが多くなれば，アーク同士が交錯等
して画面が見づらくなる。そこで，参照プレースでその
プレースの代用をさせて，画面上からアークを省略する
ことにより画面を見やすくすることができる（図１３参
照）。

【０００５】また，階層プレースは，ペトリネットを階
層的に記述する。即ち，画面中のプレース等が多く全体
構成が見づらい場合や，一定の部分構成がくり返されて
いる場合には，その部分構成を纏めて例えば「階層１」
と表わすことにより，全体構成を見やすく，また入力の
手間を省略することができる。「階層１」の内容はメイ
ンウインドウ中の当該プレースをクリックすることによ
り，サブウインドウ上に表示できる（図１４参照）。ま
た，図１２のアイコン６５中には図示されていないが，
シーケンス制御モデル中の上流側プレースと下流側プレ
ースとの間にのみ介在しえてシーケンスプログラムには
変換されることのないダミー機能を表すダミープレース
を用いることによって，条件間の関連をペトリネット上
でより簡単に表現することができる（詳細は後述す
る）。また，アークはメニュー（不図示）より，ａ接点
接続用アーク，ｂ接点接続用アーク，自己保持解除用ア
ークをユーザが選択して使い分けることができ，それぞ
れのアークは，図１５に示すような機能を有する。即
ち，図１５（１）に示すａ接点接続用アークでは，プレ
ースａがオン状態となるとプレースｂがオン状態とな
る。図１５（２）に示すｂ接点接続用アークでは，プレ
ースａがオフ状態となるとプレースｂがオン状態とな
る。図１５（３）に示す自己保持解除用アークでは，プ
レースａがオン状態（プレースｂ，ｃはオフ状態）とな
るとプレースｄがオン状態となり，自己保持状態とな
る。その後プレースｂ又はｃがオン状態となると自己保
持状態は解除される。各プレースにはコメント情報を表
すラベルを設定することができ，そのプレースの持つ意
味が表現される。また，シーケンスプログラムへの変換
時には，各プレースに対してデバイス番号（Ｍ０，Ｔ０
等）が自動的に割り付けられる。これは，シーケンサに
おける入出力接点番号や，内部リレーに割り当てられて
いる番号と対応している。なお，このデバイス番号は自
動的に割り付ける代わりに必要に応じてユーザが指定す
ることもできる。このように，シーケンスプログラム作
成装置５１は，シーケンス制御に必要な機能を表現する
ための複数種類のプレース及び複数種類のアークを含む
ネット要素を用いて図示されるペトリネットを用いてい
ることにより，プレースが成立するための条件（ラダー
の接点情報）まで含めて，全てをペトリネットで記述す
ることも可能である。従って，条件間の関連がペトリネ
ット上で視覚的に表現でき，また，プログラムの作成も
一層容易になる。

【０００６】一方，上述のようにプレースが成立するた
めの条件（ラダーの接点情報）まで含めて全てペトリネ
ットで記述すると，プログラムの規模が大きい場合，或
いは複雑な構成のプログラムの場合にはペトリネットが
煩雑になってしまう。また，条件の中には，例えば起動
条件のように，ペトリネット上への記述が非常に複雑で
あり，条件記述ダイアログボックスを用いて入力するほ
うが適しているものもある。そこで，必要に応じて上記
条件記述ダイアログボックスによる条件設定を併用する
ことが可能である。次に上記条件記述ダイアログボック
スの概略図を図１６に示す。このダイアログボックス
は，プレースの種類に応じて形が違っており，それぞれ
のプレースに必要な情報が入力できる。なお，条件記述
ダイアログボックスの中身は図１６の例に限られるもの
ではなく，必要に応じて種々の情報を入力できるように
改良される。

【０００７】次に，シーケンスプログラム表示手段５４
におけるシーケンスプログラムの自動生成について，そ
の処理の流れを図１７を参照しつつ，ステップＳ５１，
Ｓ５２，…順に説明する。まず，デバイス番号割り付け
プレース抽出手段５５は，ペトリネットのネット構造を
もとに，デバイス番号を割り付けるプレースを自動的に
選択していく（Ｓ５１）。この際，入力，出力プレース
は原則的にユーザが番号を指定する必要があるため省か
れ，また，演算，参照，階層プレースはその性質上デバ
イス番号を割り付ける必要はない。そうして選択された
プレースに対してデバイス番号自動割り付け手段５６に
よりデバイス番号が所定のルールに従い（例えば選択さ
れた順番に）自動的に割り付けられていく（Ｓ５２，Ｓ
５３）。これにより，デバイス番号をユーザが手動で割
り付ける手間を軽減することができる。尚，上記所定の
ルールはユーザが任意に設定可能である。次にペトリネ
ットのネット構造をもとに変換していくプレースの順番
が決定され（Ｓ５４）。この順番はプレース検出手段５
７によりプレースをアークに沿って探索していくことに
より決定されるが，出力プレースはラダーの慣例に従っ
て最後にまとめて変換される。そして，最初のプレース
に関して，そのプレースの条件記述ダイアログボックス
に記述された条件を取得する（Ｓ５５）。この条件記述
ダイアログボックスは図１６で示したようにプレースの
種類によって内容が異なっており，それぞれ拡張条件生
成手段５８により以下の規則で変換のもとになる条件式
を自動的に作成する（Ｓ５６〜Ｓ５９）。（規則２−１）状態，出力，時間，カウンタ，演算プレースの場合：条
件式＝条件欄の条件式（その他のプレースは条件を持た
ない。）

【０００８】次に，このプレースへの入力トランジショ
ンがあるかないかを調べる。入力トランジションが無い
場合には上記規則２−１で得られた条件式がそのまま変
換の対象となる。しかし，入力トランジションが有る場
合にはその全てのトランジションに対してそのトランジ
ションへの全ての入力プレースを調べ，その得られたプ
レースのデバイス番号を取得する。そして，以下のよう
な規則で，上記規則２−１で得られた条件式と結合す
る。（規則２−２）図１８（ａ）に示すように変換対象プレースへの入力ト
ランジションが１つだけ存在する場合：条件式＝ｂ１の
デバイス番号＊ｂ２のデバイス番号＊・・・＊ｂｎのデ
バイス番号＊ａの条件式図１８（ｂ）に示すように変換対象プレースへの入力ト
ランジションが複数存在する場合：条件式＝（ｂ１のデ
バイス番号＋ｂ２のデバイス番号＋・・・＋ｂｎのデバ
イス番号）＊ａの条件式ここで，状態プレースと出力プレースには，自己保持状
態を設定することが可能である。自己保持は，図１５
（３）に示したように自己保持解除アークを用いて表さ
れ，以下の規則で変換される。（規則２−３）自己保持の場合：条件式＝（ｄの条件＋ｄのデバイス番
号）＊ｄの自己保持解除条件このようにして得られた条件式が変換の対象となり，こ
の条件式を解読し，変換するプログラム変換手段５９を
用いてリスト形式のプログラムを自動生成する（Ｓ６
０）。

【０００９】次にこのようにして生成されたリストプロ
グラムにリスト形式シーケンスプログラム作成手段６０
によって出力命令を追加する処理を行う（Ｓ６１）。出
力命令の追加は次のような規則で行われる。（規則３）以下の出力命令を上記で得られたリストプロ
グラムに追加する。状態プレース，出力プレースの場合：ＯＵＴデバイス
番号時間プレースの場合：ＯＵＴデバイス番号タイム値カウンタプレースの場合：ＯＵＴデバイス番号カウ
ント値演算プレースの場合：演算の欄の条件をそのまま追加以上の手順で１つのプレースに対するシーケンスプログ
ラムへの変換処理が終了する。その後，全てのプレース
について同様な変換を繰り返していくことによりリスト
形式のシーケンスプログラムを得ることができる（Ｓ６
２）。尚，生成されたシーケンスプログラムをリスト形
式ではなく，ラダー形式で見たい場合には，得られたリ
スト形式のプログラムをラダー形式のプログラムに変換
するラダー形式シーケンスプログラム作成手段６１を用
いて容易に変換することができる（Ｓ６３，Ｓ６４）。
このようにして得られたリスト形式及び／又はラダー形
式のシーケンスプログラムを表示手段６２により表示す
る（Ｓ６５）。以上，シーケンスプログラム表示手段５
４におけるシーケンスプログラムの自動生成について，
その処理の流れを説明した。

【００１０】次に，上記ダミープレースについて説明す
る。例えば図１９において，Ｘ１，Ｘ２，Ｘ３をいずれ
もプレースとすると，ダミープレースを用いずに各プレ
ースの条件間の全体の関連である「（Ｘ１またはＸ２）
かつＸ３」を表現し，リストプログラムに変換すると図
１９（１）に示すとおりとなる。即ち，２つの部分的な
関連（ａ），（ｂ）で表現される。この場合，（ａ），
（ｂ）の合計である補助リレーの数は２個（Ｍ１，Ｍ
２），リストプログラムのステップ数は６ステップとな
る。次に，上記「（Ｘ１またはＸ２）かつＸ３」をダミ
ープレースを用いてペトリネット表現し，リストプログ
ラムに変換すると図１９（２）に示すとおりとなる。即
ち，１つの全体の関連で表現される。この場合，補助リ
レーは１個（Ｍ１），リストプログラムのステップ数は
４ステップとなり，上記ダミープレースを用いない場合
に比べて補助リレーは１個，ステップ数は２ステップだ
け減少する。これは，画面上のシーケンス制御モデル中
にダミープレースを介在させたためである。このダミー
プレースは，リストプログラム上は全く無用のものであ
るが，画面上でのみ条件間の関連を視覚的に把握しやす
くするといういわば実体のないプレースである。次に図
２０に示すようなダミープレースを含むペトリネットで
表現したシーケンス制御モデルの変換処理について詳述
する。この場合，上記ステップ６０中の（規則２−３）
に以下の規則が追加される。その他の処理は上記各ステ
ップと同様であるので，それらの説明はここでは割愛す
る。（規則２−４）ダミープレースの場合：条件式は持たない。つまり変換
操作は行わない。（規則２−５）あるプレース（変換対象ａ）への入力トランジションの
入力プレースの中にダミープレース（Ｄ）がある場合：
ダミープレース（Ｄ）への全ての入力トランジションに
対してそのトランジションへの全ての入力プレースを調
べ，そのすべての入力プレースが変換対象のプレースａ
への入力トランジションに直接つながっているとして前
記（規則２−１），（規則２−２），（規則２−３）に
のっとり条件式を作り出し変換を行う。以上のように，
ダミープレースを用いることによって，ペトリネットに
よる仕様記述能力がさらに向上し，条件間の関連がペト
リネット上で簡単に表現され，シーケンスプログラムの
作成がより一層容易となる。また，ペトリネットからラ
ダー図及びリストプログラムに変換する際に，補助リレ
ーの数，ステップの数を大幅に減ずることができる。

【００１１】以上説明したシーケンスプログラム作成装
置５１を用いた具体例を以下に簡単に示す。この具体例
は，図２１に示すような１つの治具１シリンダ内のピス
トンを動かすものであり，まず出押しボタンＸ１を押す
と，出側のソレノイドＹ１に出力信号が出てピストンが
出側方向に動きだし，出側のリミットスイッチＸ３が入
るとピストンが止まる。その際，タイマでタイムアウト
を監視しており，５秒たってもリミットスイッチＸ３が
入らないときにはタイムアウトとなって，タイムアウト
を表示する赤ランプＹ３が点灯し，併わせてカウント値
の更新と，データセット処理とが行われるものとする。
また，時間内にリミットスイッチＸ３が入って正常に終
了した場合には，緑のランプＹ４が点灯するものとす
る。同様に，戻押しボタンＸ２を押すと，戻側のソレノ
イドＹ２に出力信号が出てピストンが戻り側方向に動き
出し，戻り側のリミットスイッチＸ４が入るとピストン
が止まる。この際も，タイマでタイムアウトを監視して
おり，５秒たってもリミットスイッチＸ４が入らないと
きは，タイムアウトとなって，タイムアウトを表示する
赤ランプＹ３が点灯し，併わせてカウント値の更新とデ
ータセット処理とが行われるものとする。また，時間内
にリミットスイッチＸ４が入って，正常に終了した場合
には，緑のランプＹ５が点灯するものとする。以上の動
作を装置５１のペトリネットと条件式とで表した例を図
２２に，条件を含めて全てをペトリネットのみで表した
例を図２３に示す。条件式は本来は条件記述ダイアログ
ボックス６４内に個別に記述されているが，この図２２
の例では必要なもののみまとめて書いている。また，こ
れらの出力をリスト形式のプログラムに変換した場合を
図２４に，ラダー形式のプログラムに変換した場合を図
２５にそれぞれ示した。以上説明したように，特願平７
−１１７２１５号に提案されているシーケンスプログラ
ム作成装置は，ペトリネットを複数種類のプレースの追
加により拡張することによってペトリネットの持つ制御
の流れを見やすくするという長所をいかし，制御の流れ
や各機器の状態を視覚的に表現しつつも，従来のラダー
によるプログラミングの特徴を十分取り入れた形のシー
ケンスプログラムを作成し表示することができる。ま
た，上記拡張されたペトリネットを複数種類のプレース
及び複数種類のアークの追加によりさらに拡張すること
によってペトリネットによる仕様記述能力が向上し，条
件間の関連がペトリネット上で簡単に表現され，シーケ
ンスプログラムの作成が一層容易となる。さらに，プレ
ースにデバイス番号を自動的に割り付ける機能の追加に
よりユーザがデバイス番号を割り付ける手間が軽減され
る。さらに，ペトリネットをダミープレースの追加によ
り拡張することによって，ペトリネットによる仕様記述
能力がさらに向上し，条件間の関連がペトリネット上で
簡単に表現され，シーケンスプログラムの作成がより一
層容易となる。また，ペトリネットからラダー図及びリ
ストプログラムに変換する際に，補助リレーの数，ステ
ップ数を大幅に減ずることができる。以上説明したよう
なペトリネットを用いたシーケンスプログラム作成装置
によって作成されたシーケンスプログラムの動作確認
は，従来は実機のシーケンサを用いた試運転によって行
われていた。

【００１２】

【発明が解決しようとする課題】ところが，上記のよう
な実機のシーケンサを用いた試運転による動作確認方法
では，機械の実動に支障がないという保証がないので，
機械の保護や安全確保等のために多くの労力を払わなけ
ればならないという問題点があった。また，試運転にお
いて異常動作が発生すれば，オペレータはその原因に関
連すると思われるプレースを画面上のペトリネット上で
検索し，それを修正するといった作業が必要であった。
しかし例えば，上記特願平７−１１７２１５号に提案さ
れているシーケンスプログラム作成装置のように，全て
をペトリネットで記述するのではなく，上記条件記述ダ
イアログボックスによる条件設定を併用する場合におい
ては，異常動作原因となるプレースの検索は困難であ
る。例えば，あるプレースの起動条件等に異常原因と関
連するプレースが使われているような場合，ペトリネッ
ト上では起動条件等はそのままでは見ることができない
（条件記述ダイアログボックスを開かなければならな
い）ため，上記異常原因と関連するプレースを見逃すこ
となく検索することは非常に困難である。また，プログ
ラムの規模が大きくなるに従って，上記検索作業は更に
困難となる。本発明は上記事情に鑑みてなされたもので
あり，その目的とするところは，作成したシーケンスプ
ログラムの検証を，実機のシーケンサによる試運転では
なくエミュレートによって行うことができ，作成したシ
ーケンス制御モデルの条件設定をペトリネット以外の手
段を用いて行った場合においても，上記エミュレートに
よる結果から発見された異常動作の原因となるプレース
を容易に且つ確実に検索することができるシーケンスプ
ログラム作成装置を提供することである。

【００１３】

【課題を解決するための手段】上記目的を達成するため
に第１の発明は，状態を記述し，それをアイコンにより
画面上で表示するプレース等のネット要素を，その機能
に対応して複数種類予め登録しておくネット要素記憶手
段と，上記ネット要素記憶手段に登録されたネット要素
を用いたペトリネットによってシーケンス制御対象機器
のシーケンス制御モデルを作成するモデル作成手段と，
上記モデル作成手段により作成されたシーケンス制御モ
デルに対応するシーケンスプログラムを作成し，表示
し，記憶するシーケンスプログラム作成・表示・記憶手
段と，シーケンス制御を行うシーケンサの動作をエミュ
レートすることによって上記シーケンスプログラム作成
・表示・記憶手段に記憶されたシーケンスプログラムを
実行し，そのエミュレート結果を表示するエミュレート
手段とを具備してなることを特徴とするシーケンスプロ
グラム作成装置として構成されている。更に，シーケン
ス制御対象機器に対する外部機器の入出力関係を設定す
る外部情報設定手段を具備すると共に，上記エミュレー
ト手段が，操作信号を入力する操作信号入力手段を具備
し，該操作信号入力手段からの入力に応じてシーケンス
プログラムを実行するように構成することもできる。ま
た，オペレータの異常動作チェックをより容易にするた
めに，上記エミュレート手段によるエミュレート結果
を，各デバイスの動作の時刻暦をタイムチャートで表現
し，任意の時刻における各デバイスの動作を上記ペトリ
ネット上で表現することもできる。更に，上記タイムチ
ャート上の時刻に対応して，その時刻における各デバイ
スの動作を上記ペトリネット上に関連付けて表示するこ
ともできる。更に，時刻のシフトに対応して，上記タイ
ムチャート上の表示と上記ペトリネット上の表示とが一
体的にシフトされるようにすることもできる。また，上
記ネット要素記憶手段に登録されたプレースとしては，
上記シーケンス制御の対象機器の制御状態を表す状態プ
レース，上記シーケンス制御を行うシーケンサのタイマ
ー機能を表す時間プレース，上記シーケンス制御を行う
シーケンサのカウンタ機能を表すカウンタプレース，上
記シーケンサからの出力を表す出力プレース，上記シー
ケンサの各種演算機能を表す演算プレース，上記シーケ
ンサへの入力を表す入力プレース，他のプレースのオン
・オフ情報を参照する参照プレース，ペトリネットを階
層的に記述する階層プレース等を用いることができる。
更に，上記ネット要素記憶手段に登録されたネット要素
としては，上記シーケンサのａ接点接続を表すａ接点接
続用アーク，上記シーケンサのｂ接点接続を表すｂ接点
接続用アーク，上記シーケンサの自己保持回路を表す自
己保持解除用アーク等を用いることができる。

【００１４】また，上記シーケンスプログラム作成・表
示・記憶手段としては，上記シーケンス制御モデルから
上記シーケンスプログラムに変換するプレースを順次検
出するプレース検出手段と，上記検出されたプレースに
対応する条件をトランジションを介してアークで結合さ
れた上流側のプレースにまで適用範囲を拡張することに
よって上記拡張条件を自動生成する拡張条件生成手段
と，上記生成された拡張条件をリスト形式のプログラム
に変換するプログラム変換手段と，上記変換されたリス
ト形式のプログラムに上記検出されたプレースの種類に
応じて出力命令を付加することによりリスト形式のシー
ケンスプログラムを作成するリスト形式シーケンスプロ
グラム作成手段と，上記作成されたリスト形式のシーケ
ンスプログラムをラダー形式のプログラムに変換するこ
とによりラダー形式のシーケンスプログラムを作成する
ラダー形式シーケンスプログラム作成手段と，上記作成
されたリスト形式及び／又はラダー形式のシーケンスプ
ログラムを表示する表示手段とを具備するように構成す
ることができる。なお，上記プレース検出手段を，上記
シーケンス制御モデルからシーケンサのデバイス番号を
割り付けるべきプレースを順次抽出するデバイス番号割
り付けプレース抽出手段と，上記抽出されたプレースに
上記シーケンサのデバイス番号を所定のルールにより自
動的に割り付けるデバイス番号自動割り付け手段とを具
備し，上記シーケンス制御モデルから上記シーケンスプ
ログラムに変換するプレースを上記自動的に割り付けら
れたデバイス番号又は別途指示されたデバイス番号に従
い順次検出するように構成することで，デバイス番号の
割り付けを自動化することができる。更に，上記ネット
要素記憶手段に登録されたプレースとして，上記シーケ
ンス制御モデル中の上流側プレースと下流側プレースと
の間にのみ介在しえて上記シーケンスプログラムには変
換されることのないダミー機能を表すダミープレースを
用いることによって，ペトリネットによる仕様記述能力
を更に向上させることができる。

【００１５】また，上記目的を達成するために第２の発
明は，状態を記述し，それをアイコンにより画面上で表
示するプレース等のネット要素を，その機能に対応して
複数種類予め登録しておくネット要素記憶手段と，各プ
レースの状態成立条件及び設定情報を各プレースに関連
付けて入力する条件・設定情報入力手段と，上記ネット
要素記憶手段に登録されたネット要素を用いたペトリネ
ット，及び上記条件・設定情報入力手段を用いてシーケ
ンス制御対象機器のシーケンス制御モデルを作成するモ
デル作成手段と，上記モデル作成手段により作成された
シーケンス制御モデルに対応するシーケンスプログラム
を作成し，表示し，記憶するシーケンスプログラム作成
・表示・記憶手段と，シーケンス制御を行うシーケンサ
の動作をエミュレートすることによって上記シーケンス
プログラム作成・表示・記憶手段に記憶されたシーケン
スプログラムを実行し，そのエミュレート結果を表示す
るエミュレート手段と，上記シーケンスプログラム作成
・表示・記憶手段に記憶されたシーケンスプログラムよ
り抽出した原因デバイス−結果デバイス関係情報を用い
て，上記エミュレート手段によるエミュレート結果に基
づいて発見された異常動作デバイスと関連するプレース
を連鎖的に検索し，表示する検索手段とを具備してなる
ことを特徴とするシーケンスプログラム作成装置として
構成されている。上記第１の発明が全ての条件をペトリ
ネットを用いて表現するのに対して，この第２の発明
は，上記ペトリネット上には表現できない各プレースの
状態成立条件及び設定情報を上記ペトリネット上の各プ
レースに関連付けて入力する条件・設定情報入力手段を
具備したものであり，それに対応して検索手段を，上記
シーケンスプログラム作成・表示・記憶手段に記憶され
たシーケンスプログラムより抽出した原因デバイス−結
果デバイス関係情報を用いて，上記エミュレート手段に
よるエミュレート結果に基づいて発見された異常動作デ
バイスと関連するプレースを連鎖的に検索し，表示する
ように構成したものである。従って，上記第１の発明に
おけるその他の構成は，全てこの第２の発明にも適用可
能である。更に，上記条件・設定情報入力手段において
は，画面上で選択されるプレースに応じて開かれるダイ
アログボックスの中に論理式で表された各プレースの状
態成立条件，及び設定情報を入力するように構成するこ
とができる。更に，上記設定情報としては，ラベル，コ
メント，デバイス番号，演算指令，当該プレースへの入
出力リスト，タイマーの設定値及びカウンタの設定値等
を用いることができる。

【００１６】

【作用】第１の発明によれば，まず，状態を記述し，そ
れをアイコンにより画面上で表示するプレース等のネッ
ト要素が，その機能に対応して複数種類予めネット要素
記憶手段に登録される。次に，上記ネット要素記憶手段
に登録されたネット要素を用いたペトリネットによっ
て，シーケンス制御対象機器のシーケンス制御モデルが
モデル作成手段により作成される。そして，シーケンス
プログラム作成・表示・記憶手段によって，上記モデル
作成手段により作成されたシーケンス制御モデルに対応
するシーケンスプログラムが作成，表示，記憶される。
続いて，エミュレート手段において，シーケンス制御を
行うシーケンサの動作をエミュレートすることによって
上記シーケンスプログラム作成・表示・記憶手段に記憶
されたシーケンスプログラムを実行し，そのエミュレー
ト結果が表示される。これによって，作成したシーケン
スプログラムの検証を，実機のシーケンサによる試運転
ではなく，エミュレートによって行うことができる。ま
た，第２の発明によれば，まず，状態を記述し，それを
アイコンにより画面上で表示するプレース等のネット要
素が，その機能に対応して複数種類予めネット要素記憶
手段に登録される。次に，上記ネット要素記憶手段に登
録されたネット要素を用いたペトリネット，及び各プレ
ースの状態成立条件及び設定情報を各プレースに関連付
けて入力する条件・設定情報入力手段によって，シーケ
ンス制御対象機器のシーケンス制御モデルがモデル作成
手段により作成される。そして，シーケンスプログラム
作成・表示・記憶手段によって，上記モデル作成手段に
より作成されたシーケンス制御モデルに対応するシーケ
ンスプログラムが作成，表示，記憶される。続いて，エ
ミュレート手段において，シーケンス制御を行うシーケ
ンサの動作をエミュレートすることによって上記シーケ
ンスプログラム作成・表示・記憶手段に記憶されたシー
ケンスプログラムを実行し，そのエミュレート結果が表
示される。そして，検索手段によって，上記シーケンス
プログラム作成・表示・記憶手段に記憶されたシーケン
スプログラムより抽出した原因デバイス−結果デバイス
関係情報を用いて，上記エミュレート手段によるエミュ
レート結果に基づいて発見された異常動作デバイスと関
連するプレースが連鎖的に検索され，表示される。従っ
て，シーケンス制御モデルを全てペトリネットで記述す
るのではなく，上記条件記述ダイアログボックスによる
条件設定を併用することによって，例えば，あるプレー
スの起動条件等に異常原因と関連するプレースが使われ
ており，ペトリネット図上でそのままでは見ることがで
きない条件があるような場合でも，上記エミュレートに
よる結果から発見された異常動作の原因となるプレース
を容易に且つ確実に検索することができる。

【００１７】

【発明の実施の形態】及び

【実施例】以下添付図面を参照して，本発明の実施の形
態及び実施例につき説明し，本発明の理解に供する。
尚，以下の実施の形態及び実施例は本発明を具体化した
一例であって，本発明の技術的範囲を限定する性格のも
のではない。ここに，図１は本発明の実施の形態に係る
シーケンスプログラム作成装置の概略構成を示すブロッ
ク図，図２は本発明の実施の形態に係るシーケンスプロ
グラム作成装置の処理フローを示す図，図３は操作信号
入力手段の入力ダイアログの例図，図４は外部情報設定
手段の入力ダイアログの例図，図５はペトリネットによ
るエミュレート結果の表示例，図６はタイムチャートに
よるエミュレート結果の表示例，図７は原因デバイスと
結果デバイスの分類を示すラダー図，図８は検索手段の
検索ダイアログの例図，図９は検索手段による検索結果
を示す例図，図１０は検索手段による検索結果を示す例
図である。本実施の形態に係るシーケンスプログラム作
成装置において，ペトリネットを用いてモデルやその条
件等を入力し，それをシーケンスプログラムに変換する
までのシーケンスプログラム作成部については，上記従
来の技術で説明した特願平７−１１７２１５号における
上記シーケンスプログラム作成装置５１と同様である。
従って，ここではその部分の説明は省略し，作成したシ
ーケンスプログラムを検証するシーケンスプログラム検
証部についての説明を行う。ただし，上記シーケンスプ
ログラム作成装置５１と関連する部分については，適宜
上記従来の技術で用いた図面等を用いて説明を行う。な
お，以下の説明において，「プレース」及び「デバイ
ス」という表現を多数用いることとなるが，上記シーケ
ンスプログラム作成部で用いているペトリネットでは，
「デバイス」と対応関係にない「プレース」も存在する
（例えばダミープレース等）。しかし「デバイス」側か
ら見ると，全ての「デバイス」は何れかの「プレース」
と対応関係がある。従って，本実施の形態におけるペト
リネット上では「デバイス」という単語は「プレース」
に置き換えることが可能である。図１に示すように，本
実施の形態に係るシーケンスプログラム作成装置は，シ
ーケンスプログラム作成部ａ（上記シーケンスプログラ
ム作成装置５１にあたる）とシーケンスプログラム検証
部ｂとで構成されている。上記シーケンスプログラム検
証部ｂは，上記シーケンスプログラム作成部ａで作成さ
れたシーケンスプログラムをエミュレートによって実行
し，その結果から異常発生原因と関連するプレースの検
索を行う。

【００１８】次に，上記シーケンスプログラム検証部ｂ
を構成する各部の役割とその動作について説明する。シ
ーケンスプログラム記憶手段１では，上記シーケンスプ
ログラム作成部ａで作成されたシーケンスプログラムが
記憶される。エミュレート手段２では，実機のシーケン
サの処理動作をエミュレートすることによって，上記シ
ーケンスプログラム記憶手段１で記憶されたシーケンス
プログラムを仮想実行する。このとき，実機を運転する
際にオペレータによって行われるボタン操作等は，それ
に代わる操作信号入力手段３によってキーボードやマウ
スを用いて入力され，上記ボタン操作等を模倣した信号
が上記エミュレート手段２に送られる。上記操作信号入
力手段３によって操作信号の入力を行う際に使用するダ
イアログの一例を図３に示す。上記エミュレート手段２
によるエミュレート処理時に，図のようなダイアログ中
のＯＮ／ＯＦＦボタンを設定（入力）し，それをエミュ
レート処理に反映させる。また，シーケンス制御対象機
器に対する外部機器の入出力関係の設定は，外部情報設
定手段４によって行う。上記外部情報設定手段４によっ
て外部機器の入出力関係の設定を行う際に使用するダイ
アログの一例を図４に示す。この外部機器の入出力関係
とは，作成したシーケンスプログラムによって制御する
制御対象機器とその外部機器（上記制御対象機器から見
た制御対象）との入出力関係である。例えば，図４のダ
イアログに設定されているのは，「非常処理Ｍ３７７７
をＯＮにしたあと，３０秒後に非常処理終了Ｍ３７７８
をＯＮにする」という設定（プログラム）である。この
場合，上記非常処理Ｍ３７７７と非常処理終了Ｍ３７７
８が外部機器と繋がれている。また，上記操作信号入力
手段３によって入力する操作信号を，上記外部機器の入
出力関係の設定と同様，上記外部情報設定手段４で予め
設定しておくことも可能である。こうすることによって
エミュレート処理中のオペレータの操作信号入力作業が
不要となり，エミュレート処理を完全に自動化すること
ができる。

【００１９】上記のようにしてエミュレート手段２によ
ってエミュレート結果が得られる。ここで得られるエミ
ュレート結果とは，制御対象機器を構成する各デバイス
の動作状態（ＯＮ／ＯＦＦ状態）を示す時系列データを
蓄積したものである。上記エミュレート結果は，エミュ
レート結果記憶手段５に記憶される。上記エミュレート
結果記憶手段５に記憶されたエミュレート結果は，結果
表示手段７によって表示され，そのエミュレート結果と
希望する動作仕様とを比較することによってオペレータ
が異常動作の調査を行う。上記結果表示手段７における
エミュレート結果の表示例を，図５及び図６に示す。各
デバイスの動作状態（ＯＮ／ＯＦＦ状態）の時刻暦が図
６に示すようなタイムチャートで表現され，上記タイム
チャート上の任意の時刻における各デバイスの動作状態
が図５に示すようなペトリネット上で表現される。図６
に示すタイムチャートと図５に示すペトリネット表示と
は，上記のように関連付けて表示され，上記タイムチャ
ート上の指定時刻をシフトすることにより上記ペトリネ
ット表示もそれにしたがってシフトする。上記ペトリネ
ット上では，例えばＯＮ状態のデバイスに対応するプレ
ースを赤色，ＯＦＦ状態のデバイスに対応するプレース
を青色というように，各プレースを色分けすることによ
って分かりやすく表示することができる。上記エミュレ
ート結果を調査して異常動作を発見すると，オペレータ
はその異常動作の原因と関連があると思われるデバイス
（対象デバイス）のデバイス番号を検索手段６に入力す
る。検索手段６では，入力された対象デバイス番号に対
応するプレースが画面の中央に位置するようにペトリネ
ット図を表示する。ここで，上記シーケンスプログラム
作成部ａにおいて入力されたシーケンス制御モデルが，
条件を含めて全てペトリネットで記述されていた場合
（つまり条件設記述ダイアログボックスによる条件設定
を併用していない場合）には，オペレータは上記画面表
示されたペトリネット図によって上記対象デバイスと関
連するプレースを容易に探索していくことが可能であ
る。従って，上記のような検索手段６を繰り返し用いて
異常動作の原因となるプレースを連鎖的に検索すること
ができる。

【００２０】しかし，上記シーケンスプログラム作成部
ａにおいて入力されたシーケンス制御モデルが全てペト
リネットで記述されているのではなく，上記条件記述ダ
イアログボックスによる条件設定が併用されている場合
には，上記のような検索方法では関連プレースの見逃し
が発生する可能性がある。例えば，あるプレースの起動
条件等に異常原因と関連するプレースが設定されている
ような場合，ペトリネット図上では起動条件等はそのま
までは見ることができない（条件記述ダイアログボック
スを開かなければならない）からである。そこで，上記
検索手段６による検索の際に，シーケンスプログラムか
ら抽出した原因デバイス−結果デバイス関係の情報を用
いることにより，どのような場合にも漏れなく検索する
ことが可能となる。ここでいう「原因デバイス」とは，
出力命令や演算命令を行う際の条件を表現するデバイス
のことであり，「結果デバイス」とは，出力命令や演算
命令に関連したデバイスのことである。つまり，図７に
示すラダー形式のシーケンスプログラムにおいて，実線
で囲まれた左側に位置するデバイスが原因デバイス，破
線で囲まれた右側に位置するデバイスが結果デバイスを
示している。上記原因デバイス−結果デバイス関係は，
このようなシーケンスプログラムから抽出されるため，
関連のあるデバイスは全て漏れなく抽出される。図８に
原因デバイス−結果デバイス関係の情報を用いた検索手
段６の検索ダイアログの一例を示す。オペレータが，異
常動作の原因と関連があると思われるデバイス（対象デ
バイス）のデバイス番号を検索ダイアログの対象デバイ
スの欄に入力すると，対象デバイスに関連するデバイス
が上記原因デバイス−結果デバイス関係の情報を用いて
拾いだされ，原因デバイスと結果デバイスに分けて表示
される。その時，ペトリネット画面では，上記対象デバ
イスに対応するプレースが画面の中央に位置するように
ペトリネット図を表示する。オペレータが，検索ダイア
ログ内に表示された原因デバイスと結果デバイスの中か
ら異常原因と関連のありそうなデバイスを選択し「移動
ボタン」をクリックすると，ペトリネット画面では，上
記選択されたデバイスに対応するプレースが画面の中央
に位置するようにペトリネット図の表示が移動する。

【００２１】次に，図９及び図１０を用いて，図８に示
す検索ダイアログを用いた検索結果について説明する。
ここで，図８中の原因デバイス「Ｂ００２０」と対象デ
バイス「Ｍ００２０」との関係はペトリネット上で表現
されており，また，原因デバイス「Ｍ２３４５」は対象
デバイス「Ｍ００２０」の条件記述ダイアログボックス
内に，起動条件として設定されているものとする。図９
は，図８中の原因デバイス「Ｂ００２０」を選択した際
のペトリネット画面の表示を，図１０は，図８中の原因
デバイス「Ｍ２３４５」を選択した際のペトリネット画
面の表示をそれぞれ示している。図９の場合には，対象
デバイスである「：：右移動＿Ｍ００２０」と選択され
た「右移動ＢＴ＿Ｂ００２０」との関係はペトリネット
上で明確に示されているため，オペレータは上記原因デ
バイス−結果デバイス関係の情報による検索方法を用い
なくてもペトリネット上だけで検索することが可能であ
る。一方，図１０の場合には，前記したように，選択さ
れた原因デバイス「右移動許可＿Ｍ２３４５」は対象デ
バイス「：：右移動＿Ｍ００２０」の起動条件等に設定
されている（条件記述ダイアログボックス内に記述され
ている）ため，両者の関係は図１０のペトリネット画面
上では示されていない。このような場合には，上記原因
デバイス−結果デバイス関係の情報による検索方法を用
いなければ，オペレータが対象デバイスと関連するデバ
イスを全て確実に検索することは困難である。なお，上
記検索手段６による検索結果のペトリネット画面上での
表示の際にも，選択されたプレースを色分けする等によ
って，より分かりやすく表示することができる。

【００２２】次に，図２を用いて，本実施の形態に係る
シーケンスプログラム作成装置の処理フローを順を追っ
て簡単に説明する。但し，シーケンスプログラム作成部
ａの処理フローについては，上記従来の技術の図１７と
同様のため簡略化して説明する。まず，シーケンスプロ
グラム作成部ａ（シーケンスプログラム作成装置５１）
で，ペトリネットを用いてシーケンス制御モデルを入力
し（Ｓ１），該シーケンス制御モデルを対応するシーケ
ンスプログラムに変換する（Ｓ２）。なお，上記外部情
報設定手段４を用いた外部機器の入出力関係の設定は，
通常上記Ｓ１のモデル入力処理の際に同時に行われる。
上記変換されたシーケンスプログラムは，シーケンスプ
ログラム記憶手段１に記憶される。上記シーケンスプロ
グラム記憶手段１に記憶されたシーケンスプログラム及
び上記外部情報設定手段４によって設定された外部機器
の入出力関係を用いて，エミュレート手段２によってエ
ミュレート処理が行われる（Ｓ３）。上記Ｓ３のエミュ
レート処理時には，必要に応じて操作信号入力手段３を
用いて操作信号が入力される（Ｓ４）。上記エミュレー
ト処理によって得られたエミュレート結果は，結果表示
手段７に表示され（Ｓ５），オペレータによって異常動
作のチェックが行われる。上記異常動作チェックによっ
て異常動作が発見された場合は，検索手段６によって異
常動作プレースを検索する（Ｓ６）。この時，結果プレ
ースから原因プレースへ連鎖的に検索することができ
る。上記Ｓ６において異常動作の原因が発見できれば，
上記Ｓ１で入力したシーケンス制御モデルを修正し，再
度上記Ｓ２以降の処理を行う。以上の処理を繰り返すこ
とによって異常動作のないシーケンスプログラムを作成
することができる。以上説明したように，本実施の形態
に係るシーケンスプログラム作成装置は，シーケンス制
御を行うシーケンサの動作をエミュレートすることによ
ってシーケンスプログラムを実行するエミュレート手段
を用いて上記シーケンスプログラムの動作確認を行うた
め，実機のシーケンサの試運転による動作確認方法のよ
うに，機械の保護や安全確保等のために多くの労力を払
う必要はない。また，検索手段においては，シーケンス
プログラムより抽出した原因デバイス−結果デバイス関
係情報を用いて，エミュレート結果に基づいて発見され
た異常動作デバイスと関連するプレースを連鎖的に検索
することができるため，全てをペトリネットで記述する
のではなく，上記条件記述ダイアログボックスによる条
件設定を併用した場合においても，上記エミュレートに
よる結果から発見された異常動作の原因となるプレース
を，見逃すことなく確実に且つ容易に検索することが可
能である。

【００２３】

【発明の効果】以上説明したように，本発明に係るシー
ケンスプログラム作成装置によって，作成したシーケン
スプログラムの検証を，実機のシーケンサによる試運転
ではなくエミュレートによって行うことができ，作成し
たシーケンス制御モデルの条件設定をペトリネット以外
の手段を用いて行った場合においても，上記エミュレー
トによる結果から発見された異常動作の原因となるプレ
ースを容易に且つ確実に検索することが可能となる。

【図面の簡単な説明】

【図１】本発明の実施の形態に係るシーケンスプログ
ラム作成装置の概略構成を示すブロック図。

【図２】本発明の実施の形態に係るシーケンスプログ
ラム作成装置の処理フローを示す図。

【図３】操作信号入力手段の入力ダイアログの例図。

【図４】外部情報設定手段の入力ダイアログの例図。

【図５】ペトリネットによるエミュレート結果の表示
例。

【図６】タイムチャートによるエミュレート結果の表
示例。

【図７】原因デバイスと結果デバイスの分類を示すラ
ダー図。

【図８】検索手段の検索ダイアログの例図。

【図９】検索手段による検索結果を示す例図。

【図１０】検索手段による検索結果を示す例図。

【図１１】従来のシーケンスプログラム作成装置５１
の概略構成を示すブロック図。

【図１２】シーケンスプログラム作成装置５１の画面
例を示す図。

【図１３】参照プレースの機能説明図。

【図１４】階層プレースの機能説明図。

【図１５】各種アークの機能説明図。

【図１６】装置５１の条件記述ダイアログの概念図。

【図１７】装置５１の処理フローを示す図。

【図１８】装置５１による拡張条件生成の様子を示す
説明図。

【図１９】ダミープレースの機能説明図。

【図２０】ダミープレースを含むシーケンス制御モデ
ルの例図。

【図２１】シーケンス制御機構の例図。

【図２２】上記シーケンス制御機構に対応するシーケ
ンス制御モデルと条件の例図。

【図２３】上記シーケンス制御機構に対応するシーケ
ンス制御モデルと条件の例図。

【図２４】リスト形式シーケンスプログラムの例図。

【図２５】ラダー形式シーケンスプログラムの例図。

【符号の説明】

ａ…シーケンスプログラム作成部ｂ…シーケンスプログラム検証部１…シーケンスプログラム記憶手段２…エミュレート手段３…操作信号入力手段４…外部情報設定手段５…エミュレート結果記憶手段６…検索手段７…結果表示手段５１…シーケンスプログラム作成装置５２…モデル記憶手段５３…条件記憶手段５４…シーケンスプログラム表示手段５５…デバイス番号割り付けプレース抽出手段５６…デバイス番号自動割り付け手段５７…プレース検出手段５８…拡張条件生成手段５９…プログラム変換手段６０…リスト形式シーケンスプログラム作成手段６１…ラダー形式シーケンスプログラム作成手段６２…表示手段

Claims

【特許請求の範囲】

【請求項１】状態を記述し，それをアイコンにより画
面上で表示するプレース等のネット要素を，その機能に
対応して複数種類予め登録しておくネット要素記憶手段
と，上記ネット要素記憶手段に登録されたネット要素を
用いたペトリネットによってシーケンス制御対象機器の
シーケンス制御モデルを作成するモデル作成手段と，上
記モデル作成手段により作成されたシーケンス制御モデ
ルに対応するシーケンスプログラムを作成し，表示し，
記憶するシーケンスプログラム作成・表示・記憶手段
と，シーケンス制御を行うシーケンサの動作をエミュレ
ートすることによって上記シーケンスプログラム作成・
表示・記憶手段に記憶されたシーケンスプログラムを実
行し，そのエミュレート結果を表示するエミュレート手
段とを具備してなることを特徴とするシーケンスプログ
ラム作成装置。
【請求項２】シーケンス制御対象機器に対する外部機
器の入出力関係を設定する外部情報設定手段を具備し，
上記エミュレート手段が，操作信号を入力する操作信号
入力手段を具備し，該操作信号入力手段からの入力に応
じてシーケンスプログラムを実行する請求項１記載のシ
ーケンスプログラム作成装置。
【請求項３】上記エミュレート手段によるエミュレー
ト結果の表示が，各デバイスの動作の時刻暦をタイムチ
ャートで表現し，任意の時刻における各デバイスの動作
を上記ペトリネット上で表現するものである請求項１又
は２記載のシーケンスプログラム作成装置。
【請求項４】上記タイムチャート上の時刻に対応し
て，その時刻における各デバイスの動作を上記ペトリネ
ット上に関連付けて表示してなる請求項３記載のシーケ
ンスプログラム作成装置。
【請求項５】時刻のシフトに対応して，上記タイムチ
ャート上の表示と上記ペトリネット上の表示とが一体的
にシフトされる請求項４記載のシーケンスプログラム作
成装置。
【請求項６】上記ネット要素記憶手段に登録されたプ
レースが，上記シーケンス制御の対象機器の制御状態を
表す状態プレース，上記シーケンス制御を行うシーケン
サのタイマー機能を表す時間プレース，上記シーケンス
制御を行うシーケンサのカウンタ機能を表すカウンタプ
レース，上記シーケンサからの出力を表す出力プレー
ス，上記シーケンサの各種演算機能を表す演算プレー
ス，上記シーケンサへの入力を表す入力プレース，他の
プレースのオン・オフ情報を参照する参照プレース，ペ
トリネットを階層的に記述する階層プレースの全部又は
一部を含んでなる請求項１〜５のいずれかに記載のシー
ケンスプログラム作成装置。
【請求項７】上記ネット要素記憶手段に登録されたネ
ット要素が，上記シーケンサのａ接点接続を表すａ接点
接続用アーク，上記シーケンサのｂ接点接続を表すｂ接
点接続用アーク，上記シーケンサの自己保持回路を表す
自己保持解除用アークの全部又は一部を含んでなる請求
項１〜６のいずれかに記載のシーケンスプログラム作成
装置。
【請求項８】上記シーケンスプログラム作成・表示・
記憶手段が，上記シーケンス制御モデルから上記シーケ
ンスプログラムに変換するプレースを順次検出するプレ
ース検出手段と，上記検出されたプレースに対応する条
件をトランジションを介してアークで結合された上流側
のプレースにまで適用範囲を拡張することによって上記
拡張条件を自動生成する拡張条件生成手段と，上記生成
された拡張条件をリスト形式のプログラムに変換するプ
ログラム変換手段と，上記変換されたリスト形式のプロ
グラムに上記検出されたプレースの種類に応じて出力命
令を付加することによりリスト形式のシーケンスプログ
ラムを作成するリスト形式シーケンスプログラム作成手
段と，上記作成されたリスト形式のシーケンスプログラ
ムをラダー形式のプログラムに変換することによりラダ
ー形式のシーケンスプログラムを作成するラダー形式シ
ーケンスプログラム作成手段と，上記作成されたリスト
形式及び／又はラダー形式のシーケンスプログラムを表
示する表示手段とを具備してなる請求項１〜７のいずれ
かに記載のシーケンスプログラム作成装置。
【請求項９】上記プレース検出手段が，上記シーケン
ス制御モデルからシーケンサのデバイス番号を割り付け
るべきプレースを順次抽出するデバイス番号割り付けプ
レース抽出手段と，上記抽出されたプレースに上記シー
ケンサのデバイス番号を所定のルールにより自動的に割
り付けるデバイス番号自動割り付け手段とを具備し，上
記シーケンス制御モデルから上記シーケンスプログラム
に変換するプレースを上記自動的に割り付けられたデバ
イス番号又は別途指示されたデバイス番号に従い順次検
出してなる請求項８記載のシーケンスプログラム作成装
置。
【請求項１０】上記ネット要素記憶手段に登録された
プレースが，上記シーケンス制御モデル中の上流側プレ
ースと下流側プレースとの間にのみ介在しえて上記シー
ケンスプログラムには変換されることのないダミー機能
を表すダミープレースを含んでなる請求項１〜９のいず
れかに記載のシーケンスプログラム作成装置。
【請求項１１】状態を記述し，それをアイコンにより
画面上で表示するプレース等のネット要素を，その機能
に対応して複数種類予め登録しておくネット要素記憶手
段と，各プレースの状態成立条件及び設定情報を各プレ
ースに関連付けて入力する条件・設定情報入力手段と，
上記ネット要素記憶手段に登録されたネット要素を用い
たペトリネット，及び上記条件・設定情報入力手段を用
いてシーケンス制御対象機器のシーケンス制御モデルを
作成するモデル作成手段と，上記モデル作成手段により
作成されたシーケンス制御モデルに対応するシーケンス
プログラムを作成し，表示し，記憶するシーケンスプロ
グラム作成・表示・記憶手段と，シーケンス制御を行う
シーケンサの動作をエミュレートすることによって上記
シーケンスプログラム作成・表示・記憶手段に記憶され
たシーケンスプログラムを実行し，そのエミュレート結
果を表示するエミュレート手段と，上記シーケンスプロ
グラム作成・表示・記憶手段に記憶されたシーケンスプ
ログラムより抽出した原因デバイス−結果デバイス関係
情報を用いて，上記エミュレート手段によるエミュレー
ト結果に基づいて発見された異常動作デバイスと関連す
るプレースを連鎖的に検索し，表示する検索手段とを具
備してなることを特徴とするシーケンスプログラム作成
装置。
【請求項１２】シーケンス制御対象機器に対する外部
機器の入出力関係を設定する外部情報設定手段を具備
し，上記エミュレート手段が，操作信号を入力する操作
信号入力手段を具備し，該操作信号入力手段からの入力
に応じてシーケンスプログラムを実行する請求項１１記
載のシーケンスプログラム作成装置。
【請求項１３】上記エミュレート手段によるエミュレ
ート結果の表示が，各デバイスの動作の時刻暦をタイム
チャートで表現し，任意の時刻における各デバイスの動
作を上記ペトリネット上で表現するものである請求項１
１又は１２記載のシーケンスプログラム作成装置。
【請求項１４】上記タイムチャート上の時刻に対応し
て，その時刻における各デバイスの動作を上記ペトリネ
ット上に関連付けて表示してなる請求項１３記載のシー
ケンスプログラム作成装置。
【請求項１５】時刻のシフトに対応して，上記タイム
チャート上の表示と上記ペトリネット上の表示とが一体
的にシフトされる請求項１４記載のシーケンスプログラ
ム作成装置。
【請求項１６】上記ネット要素記憶手段に登録された
プレースが，上記シーケンス制御の対象機器の制御状態
を表す状態プレース，上記シーケンス制御を行うシーケ
ンサのタイマー機能を表す時間プレース，上記シーケン
ス制御を行うシーケンサのカウンタ機能を表すカウンタ
プレース，上記シーケンサからの出力を表す出力プレー
ス，上記シーケンサの各種演算機能を表す演算プレー
ス，上記シーケンサへの入力を表す入力プレース，他の
プレースのオン・オフ情報を参照する参照プレース，ペ
トリネットを階層的に記述する階層プレースの全部又は
一部を含んでなる請求項１１〜１５のいずれかに記載の
シーケンスプログラム作成装置。
【請求項１７】上記ネット要素記憶手段に登録された
ネット要素が，上記シーケンサのａ接点接続を表すａ接
点接続用アーク，上記シーケンサのｂ接点接続を表すｂ
接点接続用アーク，上記シーケンサの自己保持回路を表
す自己保持解除用アークの全部又は一部を含んでなる請
求項１１〜１６のいずれかに記載のシーケンスプログラ
ム作成装置。
【請求項１８】上記条件・設定情報入力手段におい
て，画面上で選択されるプレースに応じて開かれるダイ
アログボックスの中に論理式で表された各プレースの状
態成立条件，及び設定情報を入力してなる請求項１１〜
１７のいずれかに記載のシーケンスプログラム作成装
置。
【請求項１９】上記設定情報が，ラベル，コメント，
デバイス番号，演算指令，当該プレースへの入出力リス
ト，タイマーの設定値及びカウンタの設定値の全部又は
一部を含む請求項１１〜１８のいずれかに記載のシーケ
ンスプログラム作成装置。
【請求項２０】上記シーケンスプログラム作成・表示
・記憶手段が，上記シーケンス制御モデルから上記シー
ケンスプログラムに変換するプレースを順次検出するプ
レース検出手段と，上記検出されたプレースに対応する
条件をトランジションを介してアークで結合された上流
側のプレースにまで適用範囲を拡張することによって上
記拡張条件を自動生成する拡張条件生成手段と，上記生
成された拡張条件をリスト形式のプログラムに変換する
プログラム変換手段と，上記変換されたリスト形式のプ
ログラムに上記検出されたプレースの種類に応じて出力
命令を付加することによりリスト形式のシーケンスプロ
グラムを作成するリスト形式シーケンスプログラム作成
手段と，上記作成されたリスト形式のシーケンスプログ
ラムをラダー形式のプログラムに変換することによりラ
ダー形式のシーケンスプログラムを作成するラダー形式
シーケンスプログラム作成手段と，上記作成されたリス
ト形式及び／又はラダー形式のシーケンスプログラムを
表示する表示手段とを具備してなる請求項１１〜１９の
いずれかに記載のシーケンスプログラム作成装置。
【請求項２１】上記プレース検出手段が，上記シーケ
ンス制御モデルからシーケンサのデバイス番号を割り付
けるべきプレースを順次抽出するデバイス番号割り付け
プレース抽出手段と，上記抽出されたプレースに上記シ
ーケンサのデバイス番号を所定のルールにより自動的に
割り付けるデバイス番号自動割り付け手段とを具備し，
上記シーケンス制御モデルから上記シーケンスプログラ
ムに変換するプレースを上記自動的に割り付けられたデ
バイス番号又は別途指示されたデバイス番号に従い順次
検出してなる請求項２０記載のシーケンスプログラム作
成装置。
【請求項２２】上記ネット要素記憶手段に登録された
プレースが，上記シーケンス制御モデル中の上流側プレ
ースと下流側プレースとの間にのみ介在しえて上記シー
ケンスプログラムには変換されることのないダミー機能
を表すダミープレースを含んでなる請求項１１〜２１の
いずれかに記載のシーケンスプログラム作成装置。