JP3426405B2 - シーケンスプログラム作成装置 - Google Patents

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は，シーケンスプログラム
作成装置に係り，詳しくは画面上でペトリネットを用い
て入力されたシーケンス制御モデルを所定の形式のシー
ケンスプログラムに変換して表示するシーケンスプログ
ラム作成装置に関するものである。

【０００２】

【従来の技術】従来より，シーケンス制御を行うシーケ
ンサのプログラム開発には，ラダー図が多く用いられて
いる。これは，個々の機器の動作条件などをＯＮ，ＯＦ
Ｆの情報の組み合わせによって記述していくものであ
り，現在でも一般的に利用されている。しかし，このラ
ダー図は，個々の条件を羅列していくだけで，全体の制
御の流れが見えにくく，プログラムはそれを作成した本
人にしか理解しにくい。このため，メンテナンス性が悪
いなどの問題点が指摘されている。このような背景のも
と，最近ではペトリネットをシーケンスプログラムの作
成に利用しようとする試みがいくつか行われている。例
えば特開平４−１８６０５号公報には，機械の運転仕様
を動作フローと動作仕様とに分けて，この内動作フロー
をペトリネットで，また動作仕様をシーケンステーブル
で表現した後，両者を組み合わせてラダー形式のシーケ
ンスプログラムに変換し表示する方法が紹介されてい
る。

【０００３】

【発明が解決しようとする課題】上記したような従来の
方法では，ペトリネットのプレースは機械の動作のみを
表現する方法を採っているため，動作の流れはペトリネ
ット上で表現できるが，機械の状態や，その他機械を動
作させるための種々の条件（異常の発生条件，センサな
どの入出力機器の状態など）など，制御対象機器の状態
がペトリネット上では表現できない。このためプログラ
ムを作成するという面では制御の流れが視覚的にわかり
ずらい。また，ペトリネットとシーケンステーブルとが
独立して別々になっているため，ペトリネットエディタ
上で各プレースの動作の仕様をみることができず不便で
ある。さらに，従来のラダー図とペトリネットとがうま
く対応していないため，変換によって生成されるラダー
プログラムは人間が手で作るものとはかけ離れたものに
なり，解読が困難なものとなりやすい。本発明は，上記
事情に鑑みてなされたものであり，その目的とするとこ
ろは，ペトリネットの持つ制御の流れを見やすくすると
いう長所を生かし，制御の流れや各機器の状態を視覚的
に表現しつつも，従来のラダーによるプログラミングの
特徴を十分取り入れた形のシーケンスプログラムの作成
装置を提供することである。

【０００４】

【課題を解決するための手段】上記目的を達成するため
に第１の発明は，画面上でペトリネットを用いて入力さ
れたシーケンス制御モデルを所定の形式のシーケンスプ
ログラムに変換して表示するシーケンスプログラム作成
装置において，上記ペトリネットをシーケンス制御に必
要な機能を実現するための複数の種類のプレース及び複
数の種類のアークを含むように拡張した拡張ペトリネッ
トを用いて入力されたシーケンス制御モデルを記憶する
第２のモデル記憶手段と，上記拡張ペトリネットに含ま
れる各プレースの状態が成立するようにプレースごとに
論理式の形で入力された条件及びプレースごとに必要な
設定情報を記憶する第２の条件記憶手段と，上記それぞ
れ記憶されたシーケンス制御モデルと条件及び設定情報
とに基づいて自動生成される拡張条件を所定の形式のシ
ーケンスプログラムに変換して表示する第２のシーケン
スプログラム表示手段とを具備してなることを特徴とす
るシーケンスプログラム作成装置として構成されてい
る。

【０００５】 さらには，上記第２のモデル記憶手段が，
上記シーケンス制御の対象機器の制御状態を表す状態プ
レース，上記シーケンス制御を行うシーケンサのタイマ
ー機能を表す時間プレース，上記シーケンス制御を行う
シーケンサのカウンタ機能を表すカウンタプレース，上
記シーケンサからの出力を表す出力プレース，上記シー
ケンサの各種演算機能を表す演算プレース，上記シーケ
ンサへの入力を表す入力プレース，他のプレースのオン
・オフ情報を参照する参照プレースの全部又は一部を含
む拡張ペトリネットを用いて入力されたシーケンス制御
モデルを記憶することを特徴とするシーケンスプログラ
ム作成装置である。

【０００６】さらには，上記第２のモデル記憶手段が，
ペトリネットを階層的に記述する階層プレースを含む拡
張ペトリネットを用いて入力されたシーケンス制御モデ
ルを記憶することを特徴とするシーケンスプログラム作
成装置である。さらには，上記第２のモデル記憶手段
が，上記シーケンサのａ接点接続を表すａ接点接続用ア
ーク，上記シーケンサのｂ接点接続を表すｂ接点接続用
アーク，上記シーケンサの自己保持回路を表す自己保持
解除用アークの全部又は一部を含む拡張ペトリネットを
用いて入力されたシーケンス制御モデルを記憶すること
を特徴とするシーケンスプログラム作成装置である。

【０００７】 さらには，上記第２の条件記憶手段が，画
面上で選択されるプレースに応じて開かれるダイアログ
ボックスを構成し，該ダイアログボックスの中に論理式
の形で入力された条件及びプレースごとに必要な設定情
報を記憶することを特徴とするシーケンスプログラム作
成装置である。さらには，上記プレースごとに必要な設
定情報が，ラベル，コメント，デバイス番号，演算指
令，当該プレースへの入出力リスト，タイマーの設定値
及びカウンタの設定値の全部又は一部を含むシーケンス
プログラム作成装置である。

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

【０００９】

【作用】第１の発明によれば，画面上でペトリネットを
用いて入力されたシーケンス制御モデルを所定の形式の
シーケンスプログラムに変換して表示するに際し，まず
上記ペトリネットをシーケンス制御に必要な機能を実現
するための複数種類のプレース及び複数の種類のアーク
を含むように拡張した拡張ペトリネットを用いて入力さ
れたシーケンス制御モデルが第２のモデル記憶手段によ
り記憶される。次に上記拡張ペトリネットに含まれる各
プレースの状態が成立するようにプレース毎に論理式の
形で入力された条件及びプレースごとに必要な設定情報
が第２の条件記憶手段により記憶される。そして上記そ
れぞれ記憶されたシーケンス制御モデルと条件及び設定
情報とに基づいて自動生成される拡張条件が第２のシー
ケンスプログラム表示手段により所定の形式のシーケン
スプログラムに変換され表示される。

【００１０】従って，ペトリネットによる仕様記述能力
が向上し，条件間の関連がペトリネット上で視覚的に表
現され，シーケンスプログラムの作成が一層容易とな
る。第２の発明によれば，画面上でペトリネットを用い
て入力されたシーケンス制御モデルを所定の形式のシー
ケンスプログラムに変換して表示するに際し，上記シー
ケンス制御モデル中の上流側プレースと下流側プレース
との間にのみ介在しえて上記シーケンスプログラムには
変換されることのないダミー機能を表すダミープレース
を含むペトリネットが用いられる。従って，ペトリネッ
トによる仕様記述能力がさらに向上し，条件間の関連が
ペトリネット上で簡単に表現され，シーケンスプログラ
ムの作成がより一層容易となる。またペトリネットから
ラダー図及びリストプログラムに変換する際に，補助リ
レーの数，ステップ数を大幅に減ずることができる。

【００１１】

【実施例】以下添付図面を参照して，まず本発明の背景
となるシーケンスプログラム作成装置について説明し，
次にこの背景技術をを改良し本発明を具体化した実施例
につき説明し，本発明の理解に供する。尚，以下の実施
例は本発明を具体化した一例であって，本発明の技術的
範囲を限定する性格のものではない。ここに，図１は上
記背景技術であるシーケンスプログラム作成装置１の概
略構成を示すブロック図，図２はシーケンスプログラム
作成装置１の画面例を示す図，図３は装置１の条件記述
ダイアログボックスの概念図，図４は装置１によるシー
ケンスプログラム作成手順を示すフロー図，図５は装置
１による拡張条件生成の様子を示す説明図，図６はシー
ケンス制御機構の例図，図７は装置１による拡張ペトリ
ネットと条件の例図，図８はリスト形式シーケンスプロ
グラムの例図，図９はラダー形式シーケンスプログラム
の例図，図１０は本願第1の発明の一実施例（第１の実
施例）に係るシーケンスプログラム作成装置５１の概略
構成を示すブロック図，図１１はシーケンスプログラム
作成装置５１の画面例を示す図，図１２は参照プレース
の機能説明図，図１３は階層プレースの機能説明図，図
１４は各種アークの機能説明図，図１５は装置５１の条
件記述ダイアログボックスの概念図，図１６は装置５１
によるシーケンスプログラム作成手順を示すフロー図，
図１７は装置５１による拡張ペトリネットと条件の例
図，図１８は第２の発明の一実施例（第２の実施例）に
係るシーケンスプログラム作成装置７１の基本原理を示
す説明図，図１９は装置７１によるシーケンスプログラ
ム作成例を示す説明図，図２０は装置５１による他のシ
ーケンスプログラム作成例を示す説明図，図２１は装置
７１による他のシーケンスプログラム作成例を示す説明
図である。

【００１２】図１に示すごとく，本願発明の背景となる
シーケンスプログラム作成装置１は，画面上でペトリネ
ットを用いて入力されたシーケンス制御モデルを所定の
形式のシーケンスプログラムに変換して表示する点で従
来例と同様である。しかし，この装置では，上記ペトリ
ネットをシーケンス制御に必要な機能を表現するための
複数種類のプレースを含むように拡張した拡張ペトリネ
ットを用いて入力されたシーケンス制御を記憶する第１
のモデル記憶手段２と，上記拡張ペトリネットに含まれ
る各プレースの状態が成立するようにプレース毎に論理
式の形で入力された条件を記憶する第１の条件記憶手段
３と，上記それぞれ記憶されたシーケンス制御モデルと
条件とに基づいて自動生成される拡張条件を所定の形式
のシーケンスプログラムに変換して表示する第１のシー
ケンスプログラム表示手段４とを具備するものである。

【００１３】さらに，上記第１のモデル記憶手段２が，
上記シーケンス制御の対象機器の制御状態を表す状態プ
レース，上記シーケンス制御を行うシーケンサのタイマ
ー機能を表す時間プレース，上記シーケンス制御を行う
シーケンサのカウンタ機能を表すカウンタプレース，上
記シーケンサからの出力を表す出力プレース，上記シー
ケンサの各種演算機能を表す演算プレースの全部又は一
部よりなる拡張ペトリネットを用いて入力されたシーケ
ンス制御モデルを記憶することとしてもよい。さらに，
上記第１の条件記憶手段３が画面上で選択されるプレー
スに応じて開かれるダイアログボックスを構成し，この
ダイアログボックスの中に論理式の形で入力された条件
を記憶することとしてもよい。さらに，上記第１のシー
ケンスプログラム表示手段４が，上記シーケンス制御モ
デルから上記シーケンスプログラムに変換するプレース
を順次検出するプレース検出手段５と，上記検出された
プレースに対応する条件をトランジションを介して結合
された上流側のプレースにまで適用範囲を拡張すること
によって，上記拡張条件を自動生成する拡張条件生成手
段６と，上記生成された拡張条件をリスト形式のプログ
ラムに変換するプログラム変換手段７と，上記変換され
たリスト形式のプログラムに上記検出されたプレースの
種類に応じて出力命令を付加することによりリスト形式
のシーケンスプログラムを作成するリスト形式シーケン
スプログラム作成手段８と，上記作成されたリスト形式
のシーケンスプログラムをラダー形式のプログラムに変
換することによりラダー形式のシーケンスプログラムを
作成するラダー形式シーケンスプログラム作成手段９
と，上記作成されたリスト形式及び／又はラダー形式の
シーケンスプログラムを表示する表示手段１０とを具備
してもよい。

【００１４】以下，この装置１についてさらに詳しく述
べる。図２は，第１のモデル記憶手段２と第１の条件記
憶手段３にそれぞれ記憶される入力データの画面例を示
す。この装置１のシステムでは，パーソナルコンピュー
タのWindows 上に構築されており，図中，１１がペトリ
ネット入力エディタを，１２が条件を記述するための条
件記述ダイアログボックスをそれぞれ示している。尚，
このシステムでは各プレースをダブルクリックすること
により，そのプレースに対応した条件記述ダイアログボ
ックスが開くようになっており，ペトリネット図の記述
と条件の記述とが並行して行える。ペトリネット入力エ
ディタ１１では，メニュー１３より必要なプレースの種
類を選択して，マウス（不図示）によりドラッグしてく
ることによって入力できるようになっている。メニュー
１３は左から，状態プレース，時間プレース，カウンタ
プレース，演算プレース，出力プレース，トランジショ
ンをそれぞれ表している。各プレースにはデバイス番号
と呼ばれる番号（Ｍ００００，Ｔ００００等）が割り付
けられているが，これは，シーケンサにおける入出力接
点番号や，内部リレーに割り付けられている番号と対応
している。このようにラダーの一行をペトリネット上で
は１つのプレースに対応させることによりペトリネット
図を記述していくことによって，これまでラダー図によ
る開発に慣れ親しんだ人でもラダー図と同じような感覚
や手順で違和感なくこの装置１を用いてプログラムを作
成できる。また，この背景技術における拡張ペトリネッ
トモデルを用いれば，単に機械の動作の流れを表すだけ
ではなくて，各機器の状態やタイマーや出力の状態など
もペトリネット上で表現できる。ただしプレースの種類
は，この例で表示された種類に限定されるものではな
く，例えば階層プレースや部品を表すプレース，その他
各種の演算命令に対応したプレース等を追加していくこ
とも可能である。

【００１５】また，必要に応じてトランジションやアー
クも複数種類用意してペトリネットモデルの更なる拡張
機能を行うことも考えられる。条件記述ダイアログボッ
クス１２は，図３にその概略図を示すように，プレース
の種類に応じて形が違っており，それぞれのプレースに
必要な条件が入力できるようになっている。条件はいず
れも論理式の形で入力するが，これはラダーとの整合性
を良くするためであり，これにより従来ラダーを書いて
いたのと同じような感覚でプログラムを記述でき，しか
も後でラダープログラムに変換するときも，従来人間が
直接書いていたラダープログラムと，ほぼ同じ形のラダ
ープログラムを得ることが可能となる。なおここでは，
条件式をキーボード（不図示）より直接入力している
が，プレースや演算記号をマウスでクリックすることに
より，自動的に入力できるようにすることや，典型的な
パターンを記憶させておいて必要なときに呼び出すよう
にしてもよい。また，条件記述ダイアログボックスの中
味は図３の例に限られるものではなく，必要に応じて種
々の情報を入力できるように改良しても良い。

【００１６】次に第１のシーケンスプログラム表示手段
４におけるシーケンスプログラムの自動生成について，
その処理の流れを図４を参照しつつステップＳ１，Ｓ
２，…順に説明する。先ず，ペトリネット図のネット構
造を基に変換していくプレースの順番を決定する（Ｓ
１）。この順番はプレース検出手段５によりプレースを
アークに沿って検索していくことにより決定されるが，
出力プレースはラダーの慣例に従って最後にまとめて変
換される。そして，最初のプレースに関して，そのプレ
ースの条件記述ダイアログボックス１２に記述された条
件を取得する（Ｓ２）。この条件記述ダイアログボック
ス１２は上記図３で示したようにプレースの種類によっ
て内容が異なっており，それぞれ拡張条件生成手段６に
よりそれぞれ次のような規則で変換のもとになる条件式
（拡張条件に相当）を自動的に作成する（Ｓ３〜Ｓ
６）。

【００１７】（規則１） 状態プレースと出力プレースの場合： ＜自己保持有りの場合＞ 条件式＝（条件欄の条件式＋プレースのデバイス番号）
＊ＯＦＦ条件欄の条件式 ＜自己保持無しの場合＞ 条件式＝条件欄の条件式 時間プレース，カウンタプレース，演算プレースの場
合： 条件式＝条件欄の条件式 次に，このプレースの入力トランジションがあるかない
かを調べる。無い場合には上記規則１で得られた条件式
がそのまま変換対象となる。しかし，有る場合にはその
全ての入力トランジションに対してそのトランジション
への全ての入力プレースを調べ，その得られたプレース
のデバイス番号を取得する。そして次のような規則で上
記規則１で得られた条件式と結合する。

【００１８】（規則２） 図５（ａ）に示すように変換対象プレースへの入力トラ
ンジションが１つだけ存在する場合： 条件式＝ｂ１のデバイス番号＊ｂ２のデバイス番号＊・
・・＊ｂｎのデバイス番号＊ａの条件式 図５（ｂ）に示すように変換対象プレースへの入力トラ
ンジションが複数存在する場合： 条件式＝（ｂ１のデバイス番号＋ｂ２のデバイス番号＋
・・・＋ｂｎのデバイス番号）＊ａの条件式 このようにして得られた条件式が変換の対象となり，こ
の条件式を解読し，変換するプログラム変換手段７を用
いてリスト形式のプログラムを自動生成する（Ｓ７）。

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

【００２０】以下この装置１を用いた背景技術を以下に
簡単に示す。この具体例は，図６に示すような１つの治
具１シリンダ内のピストンを動かすものであり，まず出
押しボタンＸ１を押すと，出側のソレノイドＹ１に出力
信号が出てピストンが出側方向に動きだし，出側のリミ
ットスイッチＸ３が入るとピストンが止まる。その際，
タイマでタイムアウトを監視しており，５秒たってもリ
ミットスイッチＸ３が入らないときにはタイムアウトと
なって，タイムアウトを表示する赤ランプＹ３が点灯
し，併わせてカウント値の更新と，データセット処理と
が行われるものとする。また，時間内にリミットスイッ
チＸ３が入って正常に終了した場合には，緑のランプＹ
４が点灯するものとする。同様に，戻押しボタンＸ２を
押すと，戻側のソレノイドＹ２に出力信号が出てピスト
ンが戻り側方向に動き出し，戻り側のリミットスイッチ
Ｘ４が入るとピストンが止まる。この際も，タイマでタ
イムアウトを監視しており，５秒たってもリミットスイ
ッチＸ４が入らないときは，タイムアウトとなって，タ
イムアウトを表示する赤ランプＹ３が点灯し，併わせて
カウント値の更新とデータセット処理とが行われるもの
とする。また，時間内にリミットスイッチＸ４が入っ
て，正常に終了した場合には，緑のランプＹ５が点灯す
るものとする。以上の動作を本装置１の拡張ペトリネッ
トと条件式とで表した例を図７に示す。条件式は本来は
条件記述ダイアログボックス１２内に個別に記述されて
いるが，この例では必要なもののみまとめて書いてい
る。また，これらの出力をリスト形式のプログラムに変
換した場合を図８に，ラダー形式のプログラムに変換し
た場合を図９にそれぞれ示した。

【００２１】以上のように，背景技術に係るシーケンス
プログラム作成装置１を用いれば，ペトリネットをシー
ケンス制御で必要な機能を実現するためのプレースを複
数種類用意することにより拡張した拡張ペトリネットを
用いて入力されたシーケンス制御モデルと，プレース毎
に論理式の形で入力された動作，処理等の条件とによ
り，ペトリネットにより制御の流れや，各機器の状態を
視覚的に表現しつつも，従来のラダーによるプログラミ
ングの特徴を十分取り入れた形でプログラムの作成が行
えるというようにお互いの長所をうまくいかした方法に
よりプログラム作成が行え，これを表示することができ
る。しかも，装置１ならば，ペトリネットとラダーとの
対応がうまくとれるため，生成されたシーケンスプログ
ラムは非常に読解が困難であったという問題点も解決さ
れ，生成されるシーケンスプログラムは人間が作成した
ものと同様な品質のものを得ることができる。また，プ
レース毎にダイアログボックスを開いて条件を入力する
という方法をとっているため，画面上で効率よくプログ
ラム作成を行うことができる。ところで，上記背景技術
では，ラダーの一行をペトリネット上で一つのプレース
に対応させることによりペトリネット図を記述してい
き，そのプレースの状態が成立するための条件（ラダー
の接点情報）は論理式を用いて記述している。通常要求
される上記条件は比較的簡単なものであるため，上記背
景技術で充分対処できる。しかし，この背景技術では，
論理式で記述された条件がペトリネット上から見えず条
件間の関連が分かりにくいため，条件がさらに複雑にな
れば論理式で表現するのが難しく，また論理式をみても
条件の関連が理解しづらい場合も予想される。

【００２２】そこで，発明者らはこのような場合にも対
処すべく，上記拡張ペトリネットを，いわゆる入力プレ
ース等の追加によりさらに拡張したり（第１の発明），
いわゆるダミープレースの導入によりさらに拡張したり
（第２の発明）することとした。以下，まず本出願に係
る第１の発明について述べる。図１０に示すごとく，第
１の発明の一実施例（第１の実施例）に係るシーケンス
プログラム作成装置５１は，画面上でペトリネットを用
いて入力されたシーケンス制御モデルを所定の形式のシ
ーケンスプログラムに変換して表示する点で従来例と同
様である。しかし，本第１の実施例では，上記ペトリネ
ットをシーケンス制御に必要な機能を表現するための複
数種類のプレース及び複数種類のアークを含むように拡
張した拡張ペトリネットを用いて入力されたシーケンス
制御モデルを記憶する第２のモデル記憶手段５２と，上
記拡張ペトリネットに含まれる各プレースの状態が成立
するようにプレース毎に論理式の形で入力された条件及
びプレースごとに必要な設定情報を記憶する第２の条件
記憶手段５３と，上記それぞれ記憶されたシーケンス制
御モデルと条件及び設定情報とに基づいて自動生成され
る拡張条件を所定の形式のシーケンスプログラムに変換
して表示する第２のシーケンスプログラム表示手段５４
とを具備する点で従来例と異なる。

【００２３】さらに，上記第２のモデル記憶手段５２
が，上記シーケンス制御の対象機器の制御状態を表す状
態プレース，上記シーケンス制御を行うシーケンサのタ
イマー機能を表す時間プレース，上記シーケンス制御を
行うシーケンサのカウンタ機能を表すカウンタプレー
ス，上記シーケンサからの出力を表す出力プレース，上
記シーケンサの各種演算機能を表す演算プレース，上記
シーケンサへの入力を表す入力プレース，他のプレース
のオン・オフ情報を参照する参照プレースの全部又は一
部，あるいはペトリネットを階層的に記述する階層プレ
ース，あるいは上記シーケンサのａ接点接続を表すａ接
点接続用アーク，上記シーケンサのｂ接点接続を表すｂ
接点接続用アーク，上記シーケンサの自己保持回路を表
す自己保持解除用アークの全部又は一部を含む拡張ペト
リネットを用いて入力されたシーケンス制御モデルを記
憶することとしてもよい。さらに，上記第２の条件記憶
手段５３が画面上で選択されるプレースに応じて開かれ
るダイアログボックスを構成し，このダイアログボック
スの中に論理式の形で入力された条件及びプレースごと
に必要な設定情報を記憶することとしてもよい。さら
に，上記プレースごとに必要な設定情報が，ラベル，コ
メント，デバイス番号，演算命令，当該プレースへの入
出力リスト，タイマーの設定値及びカウンタの設定値の
全部又は一部を含むこととしてもよい。

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

【００２５】以下，この装置５１についてさらに詳しく
述べる。図１１は，第２のモデル記憶手段５２と第２の
条件記憶手段５３にそれぞれ記憶される入力データの画
面例を示す。この装置５１のシステムでは，パーソナル
コンピュータのWindows 上に構築されており，６３がペ
トリネット入力エディタを，６４が条件を記述するため
の条件記述ダイアログボックスをそれぞれ示している。
尚，このシステムでは各プレースをダブルクリックする
ことにより，そのプレースに対応した条件記述ダイアロ
グボックスが開くようになっており，ペトリネット図の
記述と条件の記述とが並行して行える。ペトリネット入
力エディタ６３では，アイコン６５より必要なプレース
の種類を選択して，マウス（不図示）によりドラッグし
てくることによって入力できるようになっている。アイ
コン６５は図１１中の左から，入力プレース，出力プレ
ース，状態プレース，時間プレース，カウンタプレー
ス，演算プレース，参照プレース，階層プレース，トラ
ンジションをそれぞれ表している。この内，入力プレー
スは，シーケンサの入力信号を表し，図１１の画面中の
三角形で示された出側ボタン等がその例である。出力プ
レース，状態プレース，時間プレース，カウンタプレー
ス及び演算プレースは前記背景技術と同様であるので，
その説明はここでは割愛する。参照プレースは，任意の
実体となるプレースのオン・オフ情報を参照し，図１１
の画面中の楔形で示された治具１出限界等がその例であ
る。即ち，あるラベルの実体となるプレースは画面中一
つしかなく，そのプレースの情報を他のプレース等に使
いたい場合は，通常そのプレースと他のプレース等とを
アークで接続する。しかし，アークが多くなれば，アー
ク同士が交錯等して画面が見づらくなる。そこで，参照
プレースでそのプレースの代用をさせて，画面上からア
ークを省略することにより画面を見やすくすることがで
きる（図１２参照）。

【００２６】階層プレースは，ペトリネットを階層的に
記述する。即ち，画面中のプレース等が多く全体構成が
見づらい場合や，一定の部分構成がくり返されている場
合には，その部分構成を纏めて例えば「階層１」と表わ
すことにより，全体構成を見やすく，また入力の手間を
省略することができる。「階層１」の内容はメインウイ
ンドウ中の当該プレースをクリックすることにより，サ
ブウインドウ上に表示できる（図１３参照）。また，ア
ークはメニュー（不図示）より，ａ接点接続用アーク，
ｂ接点接続用アーク，自己保持解除用アークをユーザが
選択して使い分けることができ，それぞれのアークは，
図１４に示すような機能を有する。即ち，図１４（１）
に示すａ接点接続用アークでは，プレースａがオン状態
となるとプレースｂがオン状態となる。図１４（２）に
示すｂ接点接続用アークでは，プレースａがオフ状態と
なるとプレースｂがオン状態となる。図１４（３）に示
す自己保持解除用アークでは，プレースａがオン状態
（プレースｂ，ｃはオフ状態）となるとプレースｄがオ
ン状態となり，自己保持状態となる。その後プレースｂ
又はｃがオン状態となると自己保持状態は解除される。

【００２７】各プレースにはコメント情報を表すラベル
を設定することができ，そのプレースの持つ意味が表現
される。また，シーケンスプログラムへの変換時には，
各プレースに対してデバイス番号（Ｍ０，Ｔ０等）が自
動的に割り付けられる。これは，シーケンサにおける入
出力接点番号や，内部リレーに割り当てられている番号
と対応している。なお，このデバイス番号は自動的に割
り付ける代わりに必要に応じてユーザが指定することも
できる。第１の実施例では，このように，上記背景技術
における拡張ペトリネットをさらに拡張しており，これ
によりプレースが成立するための条件（ラダーの接点情
報）まで含めて，全てをペトリネットで記述することを
可能とした。従って，条件間の関連がペトリネット上で
視覚的に表現でき，また，プログラムの作成も一層容易
になる。また，上記背景技術と同じく，これまでラダー
図による開発に慣れ親しんだ人でもラダー図と同じよう
な感覚，手順で違和感なくこのシステムを用いてプログ
ラムを作成できる。また，第２の実施例の拡張ペトリネ
ットを用いれば，単に機械の動作の流れを表すだけでは
なくて，各機器の状態やタイマーや出力の状態などもペ
トリネット上で表現できる。なおプレース，アークの種
類は本第１の実施例で表示された種類に限定されるもの
ではなく，新たに追加していくことも可能である。

【００２８】次に本第１の実施例における条件記述ダイ
アログボックスの概略図を図１５に示す。このダイアロ
グボックスは，プレースの種類に応じて形が違ってお
り，それぞれのプレースに必要な情報が入力できる。こ
こでは，基本的にはペトリネットで全ての条件を記述す
るため，論理式を用いて条件を記述する必要は無いが，
条件が簡単な場合やプレースの数を減らしたい場合に
は，上記背景技術と同じく論理式の形で記述することも
可能である。なお，条件記述ダイアログボックスの中身
は図１５の例に限られるものではなく，必要に応じて種
々の情報を入力できるように改良してもよい。次に，第
２のシーケンスプログラム表示手段５４におけるシーケ
ンスプログラムの自動生成について，その処理の流れを
図１６を参照しつつ，ステップＳ５１，Ｓ５２，…順に
説明する。

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

【００３０】（規則２−１） 状態，出力，時間，カウンタ，演算プレースの場合： 条件式＝条件欄の条件式 （その他のプレースは条件を持たない。） 次に，このプレースへの入力トランジションがあるかな
いかを調べる。入力トランジションが無い場合には上記
規則２−１で得られた条件式がそのまま変換の対象とな
る。しかし，入力トランジションが有る場合にはその全
てのトランジションに対してそのトランジションへの全
ての入力プレースを調べ，その得られたプレースのデバ
イス番号を取得する。そして，以下のような上記背景技
術と同様の規則で，上記規則２−１で得られた条件式と
結合する。 （規則２−２） 前記図５（ａ）に示すように変換対象プレースへの入力
トランジションが１つだけ存在する場合： 条件式＝ｂ１のデバイス番号＊ｂ２のデバイス番号＊・
・・＊ｂｎのデバイス番号＊ａの条件式 前記図５（ｂ）に示すように変換対象プレースへの入力
トランジションが複数存在する場合： 条件式＝（ｂ１のデバイス番号＋ｂ２のデバイス番号＋
・・・＋ｂｎのデバイス番号）＊ａの条件式

【００３１】ここで，状態プレースと出力プレースとに
は自己保持状態を設定することが可能である。自己保持
は，図１４（３）に示したように自己保持解除アークを
用いて表され，以下の規則で変換される。 （規則２−３） 自己保持の場合： 条件式＝（ｄの条件＋ｄのデバイス番号）＊ｄの自己保
持解除条件 このようにして得られた条件式が変換の対象となり，こ
の条件式を解読し，変換するプログラム変換手段５９を
用いてリスト形式のプログラムを自動生成する（Ｓ６
０）。

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

【００３３】このようにして得られたリスト形式及び／
又はラダー形式のシーケンスプログラムを表示手段６２
により表示する（Ｓ６５）。以上述べた第１の実施例
を，前記背景技術と同じく前記図６の例に対して適用し
た結果を図１７に示した。また，これらを上記第２の実
施例によってリスト形式のプログラムに変換した結果，
及びラダー形式のプログラムに変換した結果は，それぞ
れ前記図８及び図９と同様のものとなる。以上のよう
に，本第１の実施例によれば，ペトリネットによる仕様
記述能力の向上により，論理式による条件記述を用いな
くても，ペトリネットだけで仕様を記述できるようにな
った。これにより，条件間の関連がペトリネット上で視
覚的に表現でき，また，プログラムの作成も容易になっ
た。さらに，プレースにデバイス番号を自動的に割り付
ける機能の追加によりユーザがデバイス番号を割り付け
る手間が軽減された。

【００３４】引き続いて第２の発明について述べる。
尚，本第２の発明は，前記背景技術及び第１の実施例に
係る装置１，５１のいずれにも適用可能であるが，以下
では装置５１に適用する場合（説明の便宜上装置７１と
する）を例示する。例えば図１０に示すごとく，第２の
発明の一実施例（第２の実施例）に係るシーケンスプロ
グラム作成装置７１は，画面上でペトリネットを用いて
入力されたシーケンス制御モデルを所定の形式のシーケ
ンスプログラムに変換して表示する点で従来例と同様で
ある。しかし，本第２の実施例では，上記ペトリネット
が，上記シーケンス制御モデル中の上流側と下流側プレ
ースとの間にのみ介在しえて上記シーケンスプログラム
には変換されることのないダミー機能を表すダミープレ
ースを含む点で従来例と異なる。

【００３５】以下，本第２の実施例の基本原理を前記第
２の実施例のそれと比較することにより説明する。例え
ば図１８において，Ｘ１，Ｘ２，Ｘ３をいずれもプレー
スとすると，上記第２の実施例のペトリネットで各プレ
ースの条件間の全体の関連である（Ｘ１またはＸ２）か
つＸ３；を表現し，リストプログラムに変換すると図１
８（１）に示すとおりとなる。即ち，２つの部分的な関
連（ａ），（ｂ）で表現される。この場合，（ａ），
（ｂ）の合計である補助リレーの数は２個（Ｍ１，Ｍ
２），リストプログラムのステップ数は６ステップとな
る。次に，上記（Ｘ１またはＸ２）かつＸ３；を本第３
の実施例装置７１を用いてペトリネット表現し，リスト
プログラムに変換すると図１８（２）に示すとおりとな
る。即ち，１つの全体の関連で表現される。この場合，
補助リレーは１個（Ｍ１），リストプログラムのステッ
プ数は４ステップとなり，上記第２の実施例のペトリネ
ットのみを用いた場合に比べて補助リレーは１個，ステ
ップ数は２ステップだけ減少する。

【００３６】これは，画面上のシーケンス制御モデル中
にダミープレースを介在させたためである。このダミー
プレースは，リストプログラム上は全く無用のものであ
るが，画面上でのみ条件間の関連を視覚的に把握しやす
くするといういわば実体のないプレースである。次に図
１９に示すようなダミープレースを含むペトリネットで
表現したシーケンス制御モデルの変換処理について詳述
する。この場合，上記第２の実施例におけるステップ６
０中の（規則２−３）に以下の規則が追加される。その
他の処理は上記第２の実施例における各ステップと同様
であるので，それらの説明はここでは割愛する。 （規則２−４） ダミープレースの場合： 条件式は持たない。つまり変換操作は行わない。 （規則２−５） あるプレース（変換対象ａ）への入力トランジションの
入力プレースの中にダミープレース（Ｄ）がある場合： ダミープレース（Ｄ）への全ての入力トランジションに
対してそのトランジションへの全ての入力プレースを調
べ，そのすべての入力プレースが変換対象のプレースａ
への入力トランジションに直接つながっているとして前
記（規則２−１），（規則２−２），（規則２−３）に
のっとり条件式を作り出し変換を行う。

【００３７】以下，本第２の実施例による効果を確認す
べく，より複雑な条件設定を行った。 即ち，プレースの条件間の全体の関連である 〔｛（Ｘ１またはＸ２）かつ（Ｘ３またはＸ４）｝また
はＸ５〕かつＸ６ を第１の実施例のトリネットで表現し，リストプログラ
ムに変換すると図２０のとおりとなる。これに対し，本
第２の実施例の拡張ペトリネットで表現し，リストプロ
グラムに変換すると図２１のとおりとなり，第３の実施
例の効果が顕著になることが確認できた。以上のよう
に，本第２の実施例によれば，ペトリネットによる仕様
記述能力がさらに向上し，条件間の関連がペトリネット
上で簡単に表現され，シーケンスプログラムの作成がよ
り一層容易となる。また，ペトリネットからラダー図及
びリストプログラムに変換する際に，補助リレーの数，
ステップの数を大幅に減ずることができる。

【００３８】

【発明の効果】本発明（第１，第２の発明）に係るシー
ケンスプログラム作成装置は，上記したように構成され
ているため，以下の効果を奏する。 （１ ）また，上記拡張されたペトリネットを複数種類の
プレース及び複数種類のアークの追加によりさらに拡張
することによってペトリネットによる仕様記述能力が向
上し，条件間の関連がペトリネット上で簡単に表現さ
れ，シーケンスプログラムの作成が一層容易となる。さ
らに，プレースにデバイス番号を自動的に割り付ける機
能の追加によりユーザがデバイス番号を割り付ける手間
が軽減される（第１の発明）。 （２）さらに，ペトリネットをダミープレースの追加に
より拡張することによって，ペトリネットによる仕様記
述能力がさらに向上し，条件間の関連がペトリネット上
で簡単に表現され，シーケンスプログラムの作成がより
一層容易となる。また，ペトリネットからラダー図及び
リストプログラムに変換する際に，補助リレーの数，ス
テップ数を大幅に減ずることができる（第２の発明）。

【図面の簡単な説明】

【図１】 背景技術に係るシーケンスプログラム作成装
置１の概略構成を示すブロック図。

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

【図３】 装置１による条件記述ダイアログボックスの
概念図。

【図４】 装置１によるシーケンスプログラム作成手順
を示すフロー図。

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

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

【図７】 装置１による拡張ペトリネットと条件の例
図。

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

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

【図１０】 第１の発明の一実施例（第１の実施例）に
係るシーケンスプログラム作成装置５１の概略構成を示
すブロック図。

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

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

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

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

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

【図１６】 装置５１によるシーケンスプログラム作成
手順を示すフロー図。

【図１７】 装置５１による拡張ペトリネットと条件の
例図。

【図１８】 第２の発明の一実施例（第２の実施例）に
係るシーケンスプログラム作成装置７１の基本構成を示
す説明図。

【図１９】 装置７１によるシーケンスプログラム作成
例を示す説明図。

【図２０】 装置５１による他のシーケンスプログラム
作成例を示す説明図。

【図２１】 装置７１による他のシーケンスプログラム
作成例を示す説明図。

【符号の説明】

１…シーケンスプログラム作成装置 ２…第１のモデル記憶手段 ３…第１の条件記憶手段 ４…第１のシーケンスプログラム表示手段 ５…プレース検出手段 ６…拡張条件生成手段 ７…プログラム変換手段 ８…リスト形式シーケンスプログラム作成手段 ９…ラダー形式シーケンスプログラム作成手段 １０…表示手段 ５１，７１…シーケンスプログラム作成装置 ５２…第２のモデル記憶手段 ５３…第２の条件記憶手段 ５４…第２のシーケンスプログラム表示手段 ５５…デバイス番号割り付けプレース抽出手段 ５６…デバイス番号自動割り付け手段 ５７…プレース検出手段 ５８…拡張条件生成手段 ５９…プログラム変換手段 ６０…リスト形式シーケンスプログラム作成手段 ６１…ラダー形式シーケンスプログラム作成手段 ６２…表示手段

───────────────────────────────────────────────────── フロントページの続き (72)発明者 田村 直樹 兵庫県神戸市西区高塚台１丁目５番５号 株式会社神戸製鋼所 神戸総合技術研 究所内 (72)発明者 高橋 哲也 兵庫県神戸市西区高塚台１丁目５番５号 株式会社神戸製鋼所 神戸総合技術研 究所内 (72)発明者 森田 孝司 兵庫県神戸市西区高塚台１丁目５番５号 株式会社神戸製鋼所 神戸総合技術研 究所内 (72)発明者 日照 正幸 愛知県豊橋市三弥町字中原15番１号 株 式会社神戸製鋼所 豊橋工場内 (72)発明者 奥村 治男 愛知県豊橋市三弥町字中原15番１号 株 式会社神戸製鋼所 豊橋工場内 (56)参考文献 特開 平４−18605（ＪＰ，Ａ) 特開 昭64−38804（ＪＰ，Ａ) 特開 昭61−233803（ＪＰ，Ａ) 特開 平７−72920（ＪＰ，Ａ) (58)調査した分野(Int.Cl.⁷，ＤＢ名) G05B 19/05 G05B 23/02

Claims (8)

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