JP3730844B2

JP3730844B2 - Sequence control system modeling system, sequence program creation support system, and medium storing the creation support program

Info

Publication number: JP3730844B2
Application number: JP2000237796A
Authority: JP
Inventors: 健介長谷川; 宏治高橋; 安則西見
Original assignee: Mitutoyo Corp
Current assignee: Mitutoyo Corp
Priority date: 2000-08-04
Filing date: 2000-08-04
Publication date: 2006-01-05
Anticipated expiration: 2020-08-04
Also published as: JP2002049410A

Description

【０００１】
【発明の属する技術分野】
この発明は、シーケンスプログラムを線図によってモデル化するシーケンス制御系のモデリングシステム、シーケンスプログラム作成支援システム及び同作成支援プログラムを記憶した媒体に関する。
【０００２】
【従来の技術】
シーケンス制御は、フィードバック制御と並んで各種産業機械の自動化に不可欠な基幹技術ということができる。シーケンス制御には安全システムのように、条件に基づいて判断し対象の状態を変更する条件制御（論理制御ともいう）と、生産システムや生産機械の自動化に導入されるように一定の順序に従って操作の各段階を進めていく順序制御の二面がある。実際には、これらが相互に組み合わされ複雑になっているが、その代表的な例は自動車生産工場でのシステム制御である。１９６０年代まではそこでは大規模なリレー制御盤が使用された。しかし、リレー接点の不具合による誤動作が生産性に大きく影響することになり、そこで同年代の終わりに、プログラム内蔵型コンピュータの原理と論理演算に特化したプログラマブルロジックコントローラ（ＰＬＣ）が発明された。そのプログラミング手法は、シーケンス制御の内容をリレーや接点で表現したラダー図（ＬＤ）を図的に、或いは命令リスト（ＩＬ）でプログラムするもので、配線で実際の回路を作るハード配線（hard-wired）に対して、ソフトワイヤード（soft-wired）と呼ばれた。
【０００３】
このためにＰＬＣは、故障率の低減、シーケンス制御内容の変更、手直しの容易さ、上位コンピュータとの接続によるシステム管理の容易さ、ハードウェアとソフトウェアの分離によるシステム設計と実現における生産性の向上等の特徴から１９７０年代に入って以来、シーケンス制御装置の主流として広く産業の各分野に導入されていった。それまでのラダー図は、現場の実学として経験、定石およびノウハウに基づき設計製作されていた。しかしながら、装置の複雑化、大規模化に伴い、このような手法に限界を生じ、シーケンスソフトウェア生産の効率化が問題になってきた。
【０００４】
ＰＬＣは、リレー回路をプログラムする以上の能力を潜在的に持っており、一種のコンピュータであるから、順序制御の実現に対してフローチャートにＩＬを併用することが可能であるが、シーケンス制御の中でしばしば現れる並列同時進行の表現には不向きである。そこで、事象駆動の原理を導入してこの問題を解決した図的なプログラミング言語としてマークフローグラフ（Mark Flow Graph:MFG）が１９７６年に提案された。このＭＦＧは、現在、JIS Z8116（1994「自動制御用語−一般」）の中で、ブロック線図、シグナルフローグラフ、ボンドグラフ及びペトリネットと並んでシステムの構造表現方法の一つとして取り入れられている。
【０００５】
図１２は、ＭＦＧで使用される図形要素を示す図である。ＭＦＧは、状況を表現するボックスＢと、事象を表現するトランジションＴと、これらボックスＢ及びトランジションＴを接続して制御の流れを示す流れアークＦと、トランジションＴの発火を制御するため外部から入力される信号を示す制御アークＣ１，Ｃ２と、ボックスＢから外部に出力される信号を示す出力アークＯと、現在の状況を示すトークンＴＫの６つの図形要素からなる。ボックスＢとトランジションＴとは、流れアークＦにより交互に接続される。制御アークＣ１，Ｃ２はプッシュボタンやリミットスイッチ等、外部又はボックスからトランジションＴに至る制御入力信号を示すアークであり、黒丸は許可アーク（正論理）、白丸は抑止アーク（負論理）である。トークンＴＫは、トランジションＴの発火を通してボックスＢから次のボックスＢへと流れ、これが存在するボックスＢから外部に対して出力アークＯを通じて操作信号を出力する。
【０００６】
図１３は、ＭＧＦの例であり、これは図１４に示すような、２台のコンベアＣＶ１，ＣＶ２を交互に前進後退させる制御プログラムを図で表現したものである。このような図示表現とすることで、設計意図が明確になり、且つシステムの動作をトークンの動きで表現することができる。
【０００７】
一方、これとは独立してフランスでも同じ時期に同じ目的でＧＲＡＦＣＥＴ（Graphic de Commande Etape-Transition）と称する手法がペトリネットの概念に基づき自動車産業関連の技術団体で提案されたが、ＭＦＧに類似したものになっている。ＧＲＡＦＣＥＴはその後、ＩＥＣにおいて殆どそのままの形でＳＦＣ（Sequence Flow Chart）として規格化された（IEC1131-3[59]）。
【０００８】
【発明が解決しようとする課題】
ＭＦＧやＳＦＣは提案されて以来、注目されてきてはいるが広く普及するには至っていない。とくにＳＦＣについては、我が国の電機メーカでＳＦＣ対応のＰＬＣを提供しているメーカが多いが、実際に採用されるケースが少ないといわれる。その理由にはいろいろあると思われるが、ここでは次のような問題点を指摘し、かつその解決方法について考察する。
【０００９】
（１）ＭＦＧとシーケンス制御プログラムとしての拘束条件
ＭＦＧはシーケンス制御のモデル化に適するようにペトリネットについてプレース（ＭＦＧではボックス）内のトークン数がたかだか一個であるという拘束を設けたものである。しかしながらこれは原理的なものであり、より実際的な制約を設けたものではない。たとえば、図１３のＭＦＧにおいて停止を意味する３個のボックスst1, st2, st3とそれらに続くトランジションt3, t5, t7を省略して接続し、５個のボックスと５個のトランジションからなるＭＦＧに組みなおしても、一応、正常にシステムが駆動している状態の挙動を保証されるが、次のような問題点がある。すなわち一度システムが駆動状態に入ると再び初期状態に戻るまで、たとえトランジションへの制御アークを通して制御入力信号を加えても途中でコンベアを停止させることはできない。これでは、例えば異常時に一時的に停止させることができないことになり実用上問題である。また、システムを構成し各制御ステップを個々にテスト運転する場合にも不適である。これに対して図３のＭＦＧではトランジションt3, t5, t7に抑止枝を付け加えて上位から共通の一時停止指令信号を接続し、この信号値を“１”、“０”と切り替えるようにすれば二つのコンベアを右端あるいは左端で停止させることができる。このようにシーケンス制御では駆動や操作のステップに相当するボックス（以下、「活動ボックス」と呼ぶ）の次にトランジションを介して停止に相当するボックス（以下、「非活動ボックス」と呼ぶ）を介在させることがシーケンス制御システムとしての柔軟性を与えることになる。したがって、このような形態となるようにシーケンス制御プログラムが自ずと作成できるようにすることが望ましい。
【００１０】
（２）シーケンス制御用電子部品のソフト部品化の有効性
シーケンス制御技術は長い歴史を持っており、これまで各種ハードウエアが用いられ、それに基づいたノウハウや設計資源が蓄積されてきた。これらはＰＬＣの時代になっても、ラダー図、論理要素やフリップフロップを含むファンクションブロック（ＦＢ）がシーケンス制御プログラムの中でソフト配線の考えを介してソフトウエア部品として用いられている。この設計方法に限界があることは避けられないことは先にも述べたが、この考え方を新しいソフトウエア設計に生かすことは重要である。これまでにも、ＳＦＣでのトランジションの論理条件（ＭＦＧでの制御入力信号）やステップに付随したアクション（ＭＦＧの出力信号）に関連してラダー図やファンクションブロックを併用することは行われているが、これは単にペトリネットの導入による抽象レベルの低い順序制御表現と従来の条件制御表現とを張り合わせたものであり、上述の問題の解決にはなっていない。すなわち、ソフトウエアを抽象的なアルゴリズムとデータの羅列ではなく、構造化され、オブジェクト（実態のある物）化されたものにすることはソフトウエア設計の生産性をあげる上で重要な視点である。
ＭＦＧの要素を組み合わせて各種の論理演算、フリップフロップ、計数、タイマーなど電子部品に対応する機能を持ったソフト部品を構築し、ＭＦＧにおける抽象レベルをボックス、トランジションという低位のレベルからソフト部品という上位のレベルまで上げ、基礎的な電子部品の知識を利用しながらこれらを用いてシーケンス制御プログラムの設計と作成を行うことによりソフトウエア生産性の向上という実用的な効果を著しくあげることが期待できる。
【００１１】
この発明は、このような点に鑑みなされたもので、従来のＭＦＧを基本とし、新たなモジュールを導入することで、合理的、実用的な線図表現に基づくシーケンス制御系のモデリングシステム、シーケンスプログラム作成支援システム及び同作成支援プログラムを記憶した媒体を提供することを目的とする。
【００１２】
【課題を解決するための手段】
本発明に係るシーケンス制御系のモデリングシステムは、シーケンスプログラムの作成、編集又は検証のために前記シーケンスプログラムによって制御されるシーケンス制御系を線図によってモデル化して表示するシーケンス制御系のモデリングシステムであって、前記シーケンス制御系をモデル化する線図は、状況を表現するボックスと、事象を表現するトランジションと、これらボックス及びトランジションを接続して制御の流れを示す流れアークと、前記トランジションの発火を制御するため外部から入力される信号を示す制御アークと、前記ボックスから外部に出力される信号を示す出力アークと、現在の状況を示すトークンとを含み、前記ボックスが出力信号アークを有する活動ボックスと出力信号アークを有しない非活動ボックスとを含むマークフローグラフを基本とし、特定の前記活動ボックスとその前後のトランジションとは、１つの機能トランジションとしてブロックで表現され、前記機能トランジションは、機能を表す符号と、前記流れアークの入出力端と、前記制御アークの入力端と、前記出力アークの出力端とを含むものであり、複数の前記機能トランジションは、非活動ボックスを介して流れアークによって結合されることを特徴とする。
【００１３】
この発明に係るシーケンスプログラム作成支援システムは、シーケンスプログラムによって制御されるシーケンス制御系をモデル化する線図を作成及び編集する手段と、この手段で作成及び編集された線図を表示する手段と、この手段で表示された線図から前記シーケンス制御系の動作を検証する手段とを備えたシーケンスプログラム作成支援システムにおいて、前記シーケンス制御系をモデル化する線図は、状況を表現するボックスと、事象を表現するトランジションと、これらボックス及びトランジションを接続して制御の流れを示す流れアークと、前記トランジションの発火を制御するため外部から入力される信号を示す制御アークと、前記ボックスから外部に出力される信号を示す出力アークと、現在の状況を示すトークンとを含み、前記ボックスが出力信号アークを有する活動ボックスと出力信号アークを有しない非活動ボックスとを含むマークフローグラフを基本とし、特定の前記活動ボックスとその前後のトランジションとは、１つの機能トランジションとしてブロックで表現され、前記機能トランジションは、機能を表す符号と、前記流れアークの入出力端と、前記制御アークの入力端と、前記出力アークの出力端とを含むものであり、複数の前記機能トランジションは、非活動ボックスを介して流れアークによって結合されることを特徴とする。
【００１４】
この発明に係る媒体に記憶されたシーケンスプログラム作成支援プログラムは、シーケンスプログラムによって制御されるシーケンス制御系をモデル化する線図を作成及び編集するステップと、このステップで作成及び編集された線図を表示するステップと、このステップで表示された線図から前記シーケンス制御系の動作を検証するステップとを備えたシーケンスプログラム作成支援プログラムであって、前記シーケンス制御系をモデル化する線図は、状況を表現するボックスと、事象を表現するトランジションと、これらボックス及びトランジションを接続して制御の流れを示す流れアークと、前記トランジションの発火を制御するため外部から入力される信号を示す制御アークと、前記ボックスから外部に出力される信号を示す出力アークと、現在の状況を示すトークンとを含み、前記ボックスが出力信号アークを有する活動ボックスと出力信号アークを有しない非活動ボックスとを含むマークフローグラフを基本とし、特定の前記活動ボックスとその前後のトランジションとは、１つの機能トランジションとしてブロックで表現され、前記機能トランジションは、機能を表す符号と、前記流れアークの入出力端と、前記制御アークの入力端と、前記出力アークの出力端とを含むものであり、複数の前記機能トランジションは、非活動ボックスを介して流れアークによって結合されることを特徴とする。
【００１５】
本発明によれば、従来、分離されていたボックスとその前後のトランジションとを結合して１つの機能トランジションとして表現し、制御の流れの方向と信号の流れの方向とを分離すると共に、順序と論理の関係を明確化させたので、プログラムの作成・検証作業が極めて容易になる。
【００１６】
【発明の実施の形態】
以下、図面を参照して、この発明の実施例に係るシーケンス制御系のモデリングシステムについて説明する。この実施例では、モデリングの手法として、ＭＦＧをベースとし、以下に述べる新たなモジュールである機能トランジション（以下、「ＦＴ」と呼ぶ）を導入している。この改良されたＭＦＧを以下、ＭＦＧｎ（ＭＦＧｎｅｗ）と呼ぶ。図１は、ＦＴの基本形を説明するための図である。ＦＴは、活動ボックスｂｔとその前後のトランジションｔｉ，ｔｏ及び入力信号端、出力信号端を含めてブロック化したものであり、マクロトランジションとしてＭＦＧｎ上に挿入され、制御の各段階に関する論理情報（例えばコマンド情報、センサ情報等）を含ませることができる。ＦＴの基本は、図１（ａ）の点線内にあるＪＫ−ＦＴのＭＦＧモデルである。この例では、ｕ１が入口側、ｕ２が出口側のトランジションの許可信号となっている。そこで入力信号によるボックス内のトークン生起、消滅をボックスｂｔのボックス変数ｘについて１，０で表すと、次の論理方程式が成立する。
【００１７】
【数１】
ｘ^(l)＝¬ｘ∧ｕ₁∨ｘ∧¬ｕ₂
【００１８】
但し、ｘ^(l)は、入力信号変化直後のｘの新しい値を意味する。数１の右辺の論理式をＦＴ関数と定義する。また、これを図１（ｂ）の図記号で表し、ＪＫ−ＦＴと呼ぶ。図２は、このＪＫ−ＦＴの挙動を示すタイムチャートである。
他のＦＴのＭＦＧｎモデルは、ＪＫ−ＦＴをもとにして作られるが、標準形としては、図１（ａ）と同様、１個のボックスｂｔと、その入口トランジションｔｉおよび出口側トランジションｔｏ、更に各トランジションへの入力信号アークｕ１，ｕ２及びボックスｂｔからの出力信号アークｙから構成される。ＦＴ関数は、それぞれのＦＴのＭＦＧモデルから求めることができる。
【００１９】
図３はＦＴの図記号を表わす図である。同図（ａ）でトークンの流れから見て、上辺が入口トランジション、下辺が出口トランジションに対応させている。また、左辺に−印で入力信号端を、右辺に三角突起で出力信号端を表わす。入力信号端は一般に複数ある。ここでは標準的な図記号を示したが、この描き方は左右上下反転や９０度左右回転をしてもよい。ＦＴの性質上、ＦＴ同士が直接接続されることはなく、必ず非活動ボックスを介して接続される。ＦＴの入口および出口トランジションへのボックスの接続は図３（ｂ）、あるいは図３（ｃ）のように表わす。入口側に設けたセクション内にＦＴのクラス名を必ず記入する。また、必要に応じて出口側のセクション内、あるいは外側にこのＦＴの役割を表わす名称（インスタンス名）を記入する。
【００２０】
基本的なＦＴについての変数（信号）及びその挙動は、次のように表される。
（１）入力信号：第１及び第２入力信号をｕ１，ｕ２とする。
（２）状態変数：一変数でありｘで表す。
（３）出力信号：状態変数と同じでありｙで表す。
（４）ＦＴ関数：各ＦＴの機能に関する関数であり、ｆ（ｘ，ｕ１，ｕ２，…）で表す。一入力信号の場合には、ｆ（ｘ，ｕ）、二入力信号の場合には、ｆ（ｘ，ｕ１，ｕ２）とする。
（５）入口関数：ＦＴの入口側での前提および後提ボックスに関する論理関数でδＩで表す。
（６）出口関数：ＦＴの出口側での前提および後提ボックスに関する論理関数でδＯで表す。
【００２１】
次に、ＦＴの発火規則について説明する。ＦＴの入口（出口）側のエッジを一つのトランジションと見てこれを入口（出口）トランジションと呼ぶ。一つのトランジションを通過するためのＦＴの発火規則は、次のようになる。
（１）入口発火
（ａ）入口発火内部条件：ｆ（０，ｕ１，ｕ２）＝１を入口発火の内部条件という。
（ｂ）入口発火外部条件：入口トランジションについて前提ボックス全てにトークンがあり、後提ボックス全てにトークンがない場合、δＩ＝１とする。
（ｃ）入口発火：上の２条件が満たされれば、そのときに限り、入口発火が起こる。入口発火後、状態変数ｘの値は１となり、入口トランジションについての前提側ボックス全てのトークンは消滅し、後提側ボックス全てにトークンが生起する。
（２）出口発火
（ａ）出口発火内部条件：ｆ（１，ｕ１，ｕ２）＝０を出口発火の内部条件という。
（ｂ）出口発火外部条件：出口トランジションについて前提ボックス全てにトークンがあり、後提ボックス全てにトークンがない場合、δＯ＝１とする。
（ｃ）出口発火：上の２条件が満たされれば、そのときに限り、出口発火が起こる。出口発火後、状態変数ｘの値は０となり、入口トランジションについての前提側ボックス全てのトークンは消滅し、後提側ボックス全てにトークンが生起する。
（３）自律発火
入口トランジションまたは出口トランジションが接続されていない場合、入力信号値はつねに"１"と見なされる。この場合の発火を自律発火とよぶ。
【００２２】
図４に、代表的な組合せ論理型ＦＴ、すなわちＡＮＤ−ＦＴ，ＯＲ−ＦＴ，ＯＮ−ＦＴ、及び代表的な順序論理型ＦＴ、すなわちＪＫ−ＦＴ，ＳＲ−ＦＴ（起動優先自己保持ＦＴ）、ＲＳ−ＦＴ（復帰優先自己保持ＦＴ）を示す。これらは、全てボックスとトランジションとに分解することでＭＦＧでモデリングできるものである。このため、これらＦＴを使用したプログラムはＭＦＧエンジンにより実行することができる。
【００２３】
図５は、時限および計数機能トランジションの代表的な例として、on-delay，off-delay，on-off-delay，pulse，count-up，count-downのＦＴを示す。これらのＦＴに更に特別の機能を付け加えると、実用面で有効な場合がある。例えば、図６では、ＪＫ−ＦＴにon-delayを付加したもの、ＪＫ−ＦＴにwatch dog timerを付加したもの、ＪＫ−ＦＴにemergency stopを付加したものをそれぞれ示している。
【００２４】
次に、ＭＦＧｎへのＦＴの接続方法について説明する。ＭＦＧｎにおいても、ボックス、ＦＴ間の流れアークによる接続、許可／抑止アークの意味等はＭＦＧと同じである。ＦＴについても、これがマクロトランジションであることから、同様な接続規則が使用されるが、記述上、次の点に従う必要がある。
（１）ＦＴ間を流れアークで接続することはできない。
（２）ＦＴのボックスとの接続に便宜を与えるため、ＦＴの図記号で入口及び出口のエッジを延長することができる。
（３）二つのＦＴの入口又は出口エッジを共通にすることはできない。
（４）ＦＴにおける信号流れとトークン流れとは直交しているが、直接接続されることはなく、これらの関係はＦＴ関数のみによる。
（５）入力信号の出発ノード及び出力信号の到達ノードを信号名と共に明記する。ここでは、“≫”の図記号を用いる。
【００２５】
次に、このようなＦＴを使用したシーケンス制御系のモデリングの具体例について説明する。
いま、図７に示すようなコンベアシステムによる正搬送／逆搬送制御について、ＦＴを使用したモデリングを考える。まず、制御対象としてのコンベアシステム（コンベアＣＶ、アクチュエータＡＣ、アクチュエータドライバＤＲＶからなる）への制御信号ＦＷＤ，ＢＷＤとコンベアＣＶからのアンサーバック信号としての検出信号ＰＨＳ１，ＰＨＳ２が必要になるが、これをＦＴを導入して表現すると、図８のようになる。即ち、このシーケンス制御系では、順搬送制御のためのＦＴとしてＪＫ−ＦＴ、逆搬送制御のためのＦＴとしてＪＫＤ−ＦＴを使用している。これらＦＴへの第１入力端は、正常運転では、常時、信号値を１（“Ｈ”）に保持しておき、第２入力端のｕ２としてコンベアシステムから位置検知信号ＰＨＳをアンサーバックする。このようにすると、ＪＫ−ＦＴの入口側のボックスｂ１にトークンが入ると、ＪＫ−ＦＴは直ちに入口発火して、出力信号端からコンベアへ順搬送駆動信号ＦＷＤを送信する。また、ＪＫＤ−ＦＴの入口側のボックスｂ２にトークンが入ると、ＪＫＤ−ＦＴは、一定時間をおいた後、発火して、出力信号端からコンベアに逆搬送駆動信号ＢＷＤを送信する。なお、順搬送終了、逆搬送終了に対しては、それぞれＰＨＳ２，ＰＨＳ１をコントローラ側にアンサーバックする。ＪＫＤ−ＦＴをＢＷＤの信号発生に用いたのは、順搬送終了後、一定時間をおくことにより、加速度急変を防ぎ、円滑な逆搬送を実現するためである。
【００２６】
ＦＴを介しての入出力関係は、特にそれがトリガ信号によるものでは、外部機器駆動について因果関係を持っているので、ＰＢのようにシステム全体に関わる稼動スタート指令である場合は、別途、原始トランジションで受けるようにしている。図８のＭＦＧｎでは、外部からの指令により、搬送の途中で止める（halt）こと、及びシーケンスステップを途中で休止（rest）させることができるようにしてある。このような出力信号（又は入力信号）についての論理演算処理にもＦＴが利用できる。
【００２７】
ところで、機械、装置、パーツ及び作業者が故障や誤動作により損害を受けないようにする方法としてインタロックがあり、このインタロックには、確認、保証、保護の３機能がある。ここでは、確認機能についてＦＴとの関係、方法を検討する。確認とは、次ステップに入るに際して、
（１）前ステップが確実に実行されたか否か、
（２）次ステップでの動作に関係のある部分が正常であるかどうか、
を確認するためのインタロックである。制御進行に伴って、ＭＦＧｎの注目するＦＴの前段のボックスが（１）の確認機能と見なされ、そこでのトークンの有無により、前ステップでの動作の確認が行われる。
【００２８】
先の例でも示したように、制御対象からコントローラにアンサーバックされる信号は、ＦＴへの入力信号となるが、これにはステップ進行のためのトリガのための信号とインタロックのための信号の二つの役割がある。上記の（２）の機能は、このインタロックの信号によりＦＴの入口トランジション又は出口トランジションを介してＦＴで実現される。例えば、図８の例において、ＪＫ−ＦＴは、システムが休止（rest）でなければ、制御対象の位置センサが故障又はコンベア上の異物検出によってＰＨＳ２がＯＮになっていたとしても、前段の終了後、直ぐに入口発火する。このことを避けるためにＦＴの入口トランジションにインタロック信号として信号¬ＰＨＳ２をＡＮＤで付け加えればよい。これは言い換えれば、ＪＫ−ＦＴの代わりにＳＲＲ−ＦＴ（復帰優先自己保持）を用いることになる。ＪＫＤ−ＦＴも同様である。なお、図８でのrest及びhalt信号は保護のインタロックに相当する。
【００２９】
なお、図９に、より複雑なシーケンス制御系の例を、図１０に、このシーケンス制御系をＭＦＧｎで表した図を示す。これから分かるように、図３及びその説明記載で示した接続規則により、ＦＴ間を直接に接続しないことから隣接するＦＴ間に非活動ボックスが存在しているが、これは先に述べた本発明の解決すべき課題（１）の「ＭＦＧとシーケンス制御プログラムとしての拘束条件」が解消されたことを意味している。
【００３０】
次に、上述したＭＦＧｎを使用したシーケンスプログラム作成支援システムの構成を図１１に示す。
グラフィック表現生成部１は、入力部２の操作に基づいて、モジュールライブラリ３に格納されたＦＴを含む各図形要素を表示部４上に配置及び結合して、対象とするシーケンス制御系のＭＦＧｎを作成及び編集するためのものである。また、テキスト表現生成部５は、入力部２の操作に基づいて、モジュールライブラリ６に格納されたＦＴを含むテキスト表現のモジュールを表示部４に記述して、対象とするシーケンス制御系の構造化言語表現によるシーケンスプログラムを作成及び編集するためのものである。これらグラフィック表現生成部１とテキスト表現生成部５とは、変換部７，８をそれぞれ介して相互の表現形式に変換できるようになっている。グラフィック表現生成部１で生成されたＭＦＧｎ及びテキスト表現生成部５で生成されたテキスト表現によるシーケンスプログラムは、それぞれトランスレータ９で翻訳されて、トランジション／ボックス接続表１１と、マーキング表１２とが生成される。これら生成されたトランジション／ボックス接続表１１と、マーキング表１２とに基づいて動作検証のためのエンジン１３が起動され、動作の検証が行われる。
【００３１】
なお、このシステムは、例えばコンピュータシステムにシーケンスプログラム作成支援プログラムをインストールすることにより実現され、そのようなプログラムは、ＦＤ、ＣＤ等の適当な媒体に記憶されて供給される。
【００３２】
【発明の効果】
以上述べたようにこの発明によれば、従来、分離されていたボックスとその前後のトランジションとを結合して１つの機能トランジションとして表現し、制御の流れの方向と信号の流れの方向とを分離すると共に、順序と論理の関係を明確化させたので、プログラムの作成・検証作業が極めて容易になるという効果を奏する。
【図面の簡単な説明】
【図１】この発明の一実施例に係る機能トランジション（ＦＴ）の基本形を説明するための図である。
【図２】図１のＦＴの挙動を示すタイムチャートである。
【図３】ＦＴの図記号を示す図である。
【図４】組合せ論理型及び記憶型ＦＴの例を示す図である。
【図５】時限及び計数ＦＴの例を示す図である。
【図６】付加機能を付加したＦＴの例を示す図である。
【図７】シーケンス制御系の例を示す図である。
【図８】図７の制御系をＭＦＧｎで表現した図である。
【図９】より複雑なシーケンス制御系の例を示す図である。
【図１０】図９の制御系をＭＦＧｎで表現した図である。
【図１１】本発明のシーケンスプログラム作成支援システムの構成を示すブロック図である。
【図１２】従来のＭＦＧの図形要素を示す図である。
【図１３】従来のＭＦＧを示す図である。
【図１４】図１３で表現されたシーケンス制御系を示す図である。
【符号の説明】
１…グラフィック表現生成部、２…入力部、３，６…モジュールライブラリ、４…表示部、５…テキスト表現生成部、７，８…変換部、９…トランスレータ、１１…トランジション／ボックス接続表、１２…マーキング表、１３…エンジン。[0001]
BACKGROUND OF THE INVENTION
The present invention relates to a modeling system of a sequence control system for modeling a sequence program by a diagram, a sequence program creation support system, and a medium storing the creation support program.
[0002]
[Prior art]
Sequence control can be said to be a basic technology indispensable for automation of various industrial machines along with feedback control. In sequence control, as in the case of safety systems, conditional control (also called logic control) that makes decisions based on conditions and changes the target state, and operation in a certain order as introduced in the automation of production systems and production machines There are two aspects of sequence control that advance each stage. In practice, these are combined and complicated, but a typical example is system control in an automobile production factory. Until the 1960s, large relay control panels were used there. However, malfunctions due to failure of relay contacts have a great influence on productivity, and at the end of the same period, a programmable logic controller (PLC) specialized in the principle and logic operation of a computer with a built-in program was invented. The programming method is to program a ladder diagram (LD) expressing the contents of sequence control with relays and contacts graphically or with an instruction list (IL). It was called soft-wired (wired).
[0003]
For this reason, PLC reduces the failure rate, changes the sequence control content, eases reworking, eases system management by connecting to a host computer, and improves productivity in system design and implementation by separating hardware and software Since the beginning of the 1970s, it has been widely introduced in various industrial fields as the mainstream of sequence control devices. Until then, the ladder diagram was designed and produced based on experience, definite stones, and know-how as field practice. However, with the increasing complexity and scale of the apparatus, there is a limit to such a method, and the efficiency of sequence software production has become a problem.
[0004]
The PLC has a potential more than that for programming the relay circuit and is a kind of computer. Therefore, it is possible to use the IL in the flowchart for realizing the sequence control. It is unsuitable for the expression of parallel concurrency that often appears in. Therefore, Mark Flow Graph (MFG) was proposed in 1976 as a graphical programming language that solved this problem by introducing the principle of event driving. This MFG is currently incorporated in JIS Z8116 (1994 "Automatic Control Terminology-General") as one of the system structure representation methods alongside block diagrams, signal flow graphs, bond graphs and Petri nets. Yes.
[0005]
FIG. 12 is a diagram showing graphic elements used in MFG. The MFG is a box B that represents a situation, a transition T that represents an event, a flow arc F that indicates the flow of control by connecting the box B and the transition T, and an external input to control the ignition of the transition T. Control arcs C1 and C2 indicating signals to be output, an output arc O indicating signals output to the outside from the box B, and a token TK indicating the current situation. Box B and transition T are alternately connected by a flow arc F. The control arcs C1 and C2 are arcs indicating control input signals from the outside or the box to the transition T, such as push buttons and limit switches. A black circle is a permission arc (positive logic), and a white circle is a suppression arc (negative logic). The token TK flows from the box B to the next box B through the ignition of the transition T, and an operation signal is output from the box B in which the token TK exists to the outside through the output arc O.
[0006]
FIG. 13 shows an example of MGF, which is a diagram representing a control program for alternately moving forward and backward the two conveyors CV1 and CV2 as shown in FIG. By using such a graphical representation, the design intent is clarified and the operation of the system can be represented by token movement.
[0007]
On the other hand, in France, a technique called GRAFFC (Graphic de Commande Etape-Transition) was proposed at the same time in France by a technical organization related to the automobile industry based on the concept of Petri Net, but similar to MFG. It has become. GRAFET was subsequently standardized as an SFC (Sequence Flow Chart) in IEC almost as it was (IEC1131-3 [59]).
[0008]
[Problems to be solved by the invention]
Although MFG and SFC have been attracting attention since they were proposed, they have not yet spread widely. In particular, with regard to SFC, there are many manufacturers in Japan that provide SFC-compatible PLCs, but it is said that there are few cases where they are actually used. There may be various reasons for this, but here we point out the following problems and discuss how to solve them.
[0009]
(1) MFG and constraint conditions as a sequence control program
MFG is provided with a constraint that the number of tokens in a place (a box in MFG) is at most one for a Petri net so as to be suitable for modeling of sequence control. However, this is a principle and does not impose more practical constraints. For example, in the MFG of FIG. 13, three boxes st1, st2, and st3 that indicate a stop and the transitions t3, t5, and t7 following them are omitted and connected to an MFG consisting of five boxes and five transitions. Even if it is reassembled, the behavior of the system operating normally is guaranteed for the time being, but there are the following problems. That is, once the system enters the driving state, the conveyor cannot be stopped halfway even if a control input signal is applied through the control arc to the transition until the system returns to the initial state again. In this case, for example, it cannot be temporarily stopped at the time of abnormality, which is a practical problem. It is also unsuitable when the system is configured and each control step is individually tested. On the other hand, in the MFG of FIG. 3, if a stop signal is added to the transitions t3, t5, t7 and a common pause command signal is connected from the upper level, the signal value is switched between “1” and “0”. The two conveyors can be stopped at the right or left end. In this way, in sequence control, a box corresponding to a stop (hereinafter referred to as an “inactive box”) is interposed via a transition next to a box corresponding to a drive or operation step (hereinafter referred to as an “active box”). This gives flexibility as a sequence control system. Therefore, it is desirable that the sequence control program can be created by itself so as to have such a form.
[0010]
(2) Effectiveness of using electronic components for sequence control as software components
Sequence control technology has a long history. Various hardware has been used so far, and know-how and design resources based on it have been accumulated. Even in the PLC era, function blocks (FB) including ladder diagrams, logic elements, and flip-flops are used as software components in the sequence control program through the concept of software wiring. As mentioned above, it is inevitable that this design method has limitations, but it is important to apply this concept to new software design. To date, ladder diagrams and function blocks have been used in conjunction with logical conditions for transitions in SFC (control input signals in MFG) and actions associated with steps (output signals from MFG). However, this is simply a combination of a sequence control expression with a low level of abstraction due to the introduction of a Petri net and a conventional condition control expression, and does not solve the above-mentioned problem. In other words, it is an important viewpoint for improving software design productivity to make software structured and objects (actual things) rather than a list of abstract algorithms and data. .
By combining MFG elements, software components with functions corresponding to various electronic operations such as various logical operations, flip-flops, counting, timers, etc. are constructed, and the MFG abstract level is changed from a lower level of boxes and transitions to a higher level of software components. It is expected that the practical effect of improving the software productivity can be remarkably improved by designing and creating a sequence control program using these knowledge while utilizing basic electronic component knowledge.
[0011]
The present invention has been made in view of the above points. By introducing a new module based on the conventional MFG, a modeling system and sequence for a sequence control system based on a rational and practical diagram representation. It is an object of the present invention to provide a program creation support system and a medium storing the creation support program.
[0012]
[Means for Solving the Problems]
  A sequence control system modeling system according to the present invention is a sequence control system modeling system that models and displays a sequence control system controlled by the sequence program as a diagram for creating, editing, or verifying a sequence program. The diagram that models the sequence control system includes a box that represents a situation, a transition that represents an event, a flow arc that indicates the flow of control by connecting the box and the transition, and the ignition of the transition. A control arc indicating a signal input from the outside for control, an output arc indicating a signal output from the box to the outside, and a token indicating the current situation are included.The box includes an active box having an output signal arc and an inactive box having no output signal arc.Based on the mark flow graphActivityThe box and the transitions before and after the box are represented by blocks as one function transition. The function transition includes a code representing a function, an input / output end of the flow arc, an input end of the control arc, and the output arc. Including the output end ofA plurality of said functional transitions are coupled by a flow arc through an inactive boxIt is characterized by that.
[0013]
  The sequence program creation support system according to the present invention includes means for creating and editing a diagram that models a sequence control system controlled by a sequence program, means for displaying the diagram created and edited by this means, In the sequence program creation support system comprising means for verifying the operation of the sequence control system from the diagram displayed by this means, the diagram for modeling the sequence control system includes a box expressing a situation, an event A transition arc that represents the flow of control by connecting these boxes and transitions, a control arc that indicates a signal input from the outside to control the ignition of the transition, and an external output from the box Output arc indicating the current signal and a token indicating the current status.The box includes an active box having an output signal arc and an inactive box having no output signal arc.Based on the mark flow graphActivityThe box and the transitions before and after the box are represented by blocks as one function transition. The function transition includes a code representing a function, an input / output end of the flow arc, an input end of the control arc, and the output arc. Including the output end ofA plurality of said functional transitions are coupled by a flow arc through an inactive boxIt is characterized by that.
[0014]
  The sequence program creation support program stored in the medium according to the present invention includes a step of creating and editing a diagram that models a sequence control system controlled by the sequence program, and a diagram created and edited in this step. A sequence program creation support program comprising a step of displaying and a step of verifying the operation of the sequence control system from the diagram displayed in this step, wherein the diagram for modeling the sequence control system is a situation A box representing the event, a transition representing the event, a flow arc indicating the flow of control by connecting the box and the transition, and a control arc indicating a signal input from the outside to control firing of the transition, An output signal indicating the signal output from the box to the outside And clauses, and a token that indicates the current situation includingThe box includes an active box having an output signal arc and an inactive box having no output signal arc.Based on the mark flow graphActivityThe box and the transitions before and after the box are represented by blocks as one function transition. The function transition includes a code representing a function, an input / output end of the flow arc, an input end of the control arc, and the output arc. Including the output end ofA plurality of said functional transitions are coupled by a flow arc through an inactive boxIt is characterized by that.
[0015]
According to the present invention, the conventionally separated box and the transitions before and after the box are combined and expressed as one functional transition, and the control flow direction and the signal flow direction are separated, Since the logical relationship is clarified, it is very easy to create and verify programs.
[0016]
DETAILED DESCRIPTION OF THE INVENTION
  A sequence control system modeling system according to an embodiment of the present invention will be described below with reference to the drawings. In this embodiment, as a modeling method, a function transition (hereinafter referred to as “FT”), which is a new module described below, is introduced based on MFG. This improved MFG is hereinafter referred to as MFGn (MFGnew). FIG. 1 is a diagram for explaining the basic form of FT. The FT is a block including the activity box bt and the transitions ti and to before and after it, the input signal end, and the output signal end. The FT is inserted on the MFGn as a macro transition, and logical information (for example, each control stage) Command information, sensor information, etc.). The basis of FT is the JK-FT MFG model within the dotted line in FIG. In this example, u1 is an entrance permission signal and u2 is an exit permission signal.ThereforeWhen the occurrence and disappearance of the token in the box by the input signal is expressed by 1 and 0 with respect to the box variable x of the box bt, the following logical equation is established.
[0017]
[Expression 1]
x^(l)= ¬x∧u₁∨x∧¬u₂
[0018]
Where x^(l)Means the new value of x immediately after the input signal changes. The logical expression on the right side of Equation 1 is defined as the FT function. Also, this is represented by a graphic symbol in FIG. 1B and is called JK-FT. FIG. 2 is a time chart showing the behavior of this JK-FT.
Other FT MFGn models are created based on JK-FT, but as a standard form, as in FIG. 1 (a), one box bt, its inlet transition ti and outlet transition to, Furthermore, it consists of input signal arcs u1 and u2 to each transition and an output signal arc y from the box bt. The FT function can be obtained from the MFG model of each FT.
[0019]
  Figure 3 is a symbol of FTThe tableFIG. As seen from the token flow in FIG. 6A, the upper side corresponds to the entrance transition and the lower side corresponds to the exit transition. Further, the input signal end is indicated by-on the left side, and the output signal end is indicated by a triangular protrusion on the right side. There are generally a plurality of input signal terminals. Although standard graphic symbols are shown here, this drawing may be reversed upside down or rotated 90 degrees horizontally. Due to the nature of FT, FTMutualAre not directly connected and are always inactiveMovementConnected through a box. Box connections to FT inlet and outlet transitions are shown3(B) or figure3It is expressed as (c). Be sure to enter the FT class name in the section provided on the entrance side. In addition, a name (instance name) indicating the role of this FT is entered in the section on the exit side or outside as necessary.
[0020]
The variables (signals) for the basic FT and their behavior are expressed as follows.
(1) Input signal: The first and second input signals are u1 and u2.
(2) State variable: This is a variable and is represented by x.
(3) Output signal: The same as the state variable and is represented by y.
(4) FT function: A function related to the function of each FT, and is represented by f (x, u1, u2,...). In the case of a single input signal, it is f (x, u), and in the case of a two input signal, it is f (x, u1, u2).
(5) Entrance function: A logical function related to the premise and the postponement box on the entrance side of the FT and expressed as δI.
(6) Exit function: a logical function related to the premise and the postponement box on the exit side of the FT, and expressed as δO.
[0021]
  Next, FT firing rules will be described. An edge on the entrance (exit) side of the FT is regarded as one transition, and this is called an entrance (exit) transition. The FT firing rules for passing one transition are as follows.
(1) Entrance ignition
  (A) Inlet ignition internal condition: f (0, u1, u2) = 1 is referred to as an internal condition of inlet ignition.
  (B) Entrance ignition external condition: δI = 1 if there is a token in all the premise boxes and no token in all the postponement boxes for the entrance transition.
  (C) Entrance ignition: If the above two conditions are satisfied, entrance ignition occurs only in that case. After the entrance firing, the value of the state variable x becomes 1, all the tokens in the premise side box for the entrance transition are extinguished, and the tokens are generated in all the postponement side boxes.
(2) Exit ignition
  (A) Exit ignition internal condition: f (1, u1, u2) =0Is called the internal condition of exit ignition.
  (B) Outlet firing external condition: δO = 1 if there is a token in all the premise boxes and no tokens in all the postponed boxes for the exit transition.
  (C) Exit ignition: If the above two conditions are satisfied, exit ignition occurs only in that case. After the exit firing, the value of the state variable x becomes 0, all the tokens in the premise side box for the entrance transition are extinguished, and tokens are generated in all the postponement side boxes.
(3) Autonomous ignition
  If no entry transition or no exit transition is connected, the input signal value is always considered “1”. This firing is called autonomous firing.
[0022]
  FIG. 4 shows typical combination logic types FT, ie, AND-FT, OR-FT, ON-FT, and typical sequential logic types, ie, JK-FT, S.R-FT (start-up priority self-holding FT),RS-FT (return priority self-holding FT). All of these can be modeled with MFG by breaking them down into boxes and transitions. Therefore, a program using these FTs can be executed by the MFG engine.
[0023]
FIG. 5 shows FT of on-delay, off-delay, on-off-delay, pulse, count-up, and count-down as typical examples of timed and counting function transitions. Adding a special function to these FTs may be effective in practical use. For example, FIG. 6 shows a JK-FT with on-delay added, a JK-FT with a watch dog timer added, and a JK-FT with an emergency stop added.
[0024]
Next, a method for connecting an FT to MFGn will be described. Also in MFGn, the connection by the flow arc between the box and the FT, the meaning of the permission / inhibition arc, etc. are the same as MFG. For FT, since this is a macro transition, a similar connection rule is used, but the following points must be described in the description.
(1) A flow arc cannot be connected between FTs.
(2) In order to provide a convenient connection with the FT box, the entrance and exit edges can be extended with FT graphic symbols.
(3) The entrance or exit edges of the two FTs cannot be made common.
(4) The signal flow and the token flow in the FT are orthogonal to each other, but are not directly connected, and their relationship depends only on the FT function.
(5) The starting node of the input signal and the reaching node of the output signal are specified together with the signal name. Here, the symbol “>>” is used.
[0025]
Next, a specific example of modeling of a sequence control system using such an FT will be described.
Consider modeling using FT for forward / reverse transport control by a conveyor system as shown in FIG. First, control signals FWD and BWD to the conveyor system (conveyor CV, actuator AC, and actuator driver DRV) to be controlled and detection signals PHS1 and PHS2 as answerback signals from the conveyor CV are required. Is expressed by introducing FT as shown in FIG. That is, in this sequence control system, JK-FT is used as an FT for forward transfer control, and JKD-FT is used as an FT for reverse transfer control. The first input terminals to these FTs always keep the signal value at 1 (“H”) during normal operation, and answer back the position detection signal PHS from the conveyor system as u2 of the second input terminal. In this way, when a token enters the box b1 on the entrance side of the JK-FT, the JK-FT immediately ignites at the entrance and transmits a forward conveyance drive signal FWD from the output signal end to the conveyor. Further, when a token enters the box b2 on the entrance side of the JKD-FT, the JKD-FT ignites after a certain period of time and transmits a reverse conveyance drive signal BWD from the output signal end to the conveyor. It should be noted that PHS2 and PHS1 are answer-backed to the controller side for the end of forward conveyance and the end of reverse conveyance, respectively. The reason why JKD-FT is used for BWD signal generation is to prevent a sudden acceleration change and realize smooth reverse conveyance by allowing a certain period of time after completion of forward conveyance.
[0026]
The input / output relationship via the FT has a causal relationship with respect to driving of the external device, particularly when it is based on a trigger signal. I try to receive it in transition. In the MFGn of FIG. 8, it is possible to stop in the middle of conveyance and to rest the sequence step in the middle by a command from the outside. FT can also be used for logical operation processing for such output signals (or input signals).
[0027]
By the way, there is an interlock as a method for preventing the machine, the device, the parts, and the worker from being damaged due to a failure or malfunction, and this interlock has three functions of confirmation, guarantee, and protection. Here, the relationship and method with the FT will be examined for the confirmation function. Confirmation means entering the next step
(1) Whether the previous step has been executed reliably,
(2) Whether the part related to the operation in the next step is normal,
This is an interlock for confirming. As the control proceeds, the previous box of the FT to which MFGn is focused is regarded as the confirmation function of (1), and the operation in the previous step is confirmed depending on the presence or absence of a token.
[0028]
As shown in the previous example, the signal that is answer-backed from the control target to the controller is an input signal to the FT, which includes a trigger signal for stepping and an interlock signal. There are two roles. The function (2) described above is realized by the FT through the entrance transition or the exit transition of the FT by this interlock signal. For example, in the example of FIG. 8, if the system is not rested, JK-FT ends the previous stage even if the position sensor to be controlled is faulty or PHS2 is turned on due to foreign object detection on the conveyor. After that, the entrance fires immediately. In order to avoid this, the signal ¬PHS2 may be added to the FT entrance transition as an interlock signal by AND. In other words, SRR-FT (return priority self-holding) is used instead of JK-FT. The same applies to JKD-FT. The rest and halt signals in FIG. 8 correspond to protection interlocks.
[0029]
FIG. 9 shows an example of a more complicated sequence control system, and FIG. 10 shows a diagram in which this sequence control system is represented by MFGn. As can be seen from the above, according to the connection rule shown in FIG. 3 and the description thereof, there is an inactive box between adjacent FTs because there is no direct connection between FTs. This means that the problem (1) “Restriction conditions as MFG and sequence control program” has been resolved.
[0030]
Next, FIG. 11 shows a configuration of a sequence program creation support system using the above-described MFGn.
Based on the operation of the input unit 2, the graphic representation generation unit 1 arranges and combines the graphic elements including the FT stored in the module library 3 on the display unit 4, and sets the target MFGn of the sequence control system. It is for creating and editing. Further, the text expression generation unit 5 describes the text expression module including the FT stored in the module library 6 on the display unit 4 based on the operation of the input unit 2, thereby structuring the target sequence control system. This is for creating and editing a sequence program by language expression. The graphic expression generation unit 1 and the text expression generation unit 5 can be converted into mutual expression formats via conversion units 7 and 8, respectively. The sequence programs based on the MFGn generated by the graphic expression generation unit 1 and the text expression generated by the text expression generation unit 5 are translated by the translator 9, respectively, and a transition / box connection table 11 and a marking table 12 are generated. The Based on the generated transition / box connection table 11 and the marking table 12, the engine 13 for operation verification is started, and the operation is verified.
[0031]
This system is realized, for example, by installing a sequence program creation support program in a computer system, and such a program is stored and supplied in an appropriate medium such as an FD or a CD.
[0032]
【The invention's effect】
As described above, according to the present invention, the conventionally separated box and the transitions before and after the box are combined and expressed as one function transition, and the control flow direction and the signal flow direction are separated. In addition, since the relationship between the order and the logic is clarified, there is an effect that the creation / verification work of the program becomes extremely easy.
[Brief description of the drawings]
FIG. 1 is a diagram for explaining a basic form of a function transition (FT) according to an embodiment of the present invention.
FIG. 2 is a time chart showing the behavior of the FT in FIG. 1;
FIG. 3 is a diagram showing FT graphic symbols.
FIG. 4 is a diagram illustrating an example of a combinational logic type and a memory type FT.
FIG. 5 is a diagram illustrating an example of a time limit and a count FT.
FIG. 6 is a diagram illustrating an example of an FT to which an additional function is added.
FIG. 7 is a diagram illustrating an example of a sequence control system.
FIG. 8 is a diagram representing the control system of FIG. 7 by MFGn.
FIG. 9 is a diagram illustrating an example of a more complicated sequence control system.
10 is a diagram expressing the control system of FIG. 9 in MFGn.
FIG. 11 is a block diagram showing a configuration of a sequence program creation support system of the present invention.
FIG. 12 is a diagram showing a conventional MFG graphic element.
FIG. 13 is a diagram showing a conventional MFG.
FIG. 14 is a diagram illustrating a sequence control system expressed in FIG.
[Explanation of symbols]
DESCRIPTION OF SYMBOLS 1 ... Graphic expression production | generation part, 2 ... Input part, 3, 6 ... Module library, 4 ... Display part, 5 ... Text expression production | generation part, 7, 8 ... Conversion part, 9 ... Translator, 11 ... Transition / box connection table, 12 ... marking table, 13 ... engine.

Claims

シーケンスプログラムの作成、編集又は検証のために前記シーケンスプログラムによって制御されるシーケンス制御系を線図によってモデル化して表示するシーケンス制御系のモデリングシステムであって、
前記シーケンス制御系をモデル化する線図は、状況を表現するボックスと、事象を表現するトランジションと、これらボックス及びトランジションを接続して制御の流れを示す流れアークと、前記トランジションの発火を制御するため外部から入力される信号を示す制御アークと、前記ボックスから外部に出力される信号を示す出力アークと、現在の状況を示すトークンとを含み、前記ボックスが出力信号アークを有する活動ボックスと出力信号アークを有しない非活動ボックスとを含むマークフローグラフを基本とし、
特定の前記活動ボックスとその前後のトランジションとは、１つの機能トランジションとしてブロックで表現され、前記機能トランジションは、機能を表す符号と、前記流れアークの入出力端と、前記制御アークの入力端と、前記出力アークの出力端とを含むものであり、複数の前記機能トランジションは、非活動ボックスを介して流れアークによって結合される
ことを特徴とするシーケンス制御系のモデリングシステム。A sequence control system modeling system for modeling and displaying a sequence control system controlled by the sequence program for creating, editing or verifying a sequence program by a diagram,
The diagram that models the sequence control system controls a box that represents a situation, a transition that represents an event, a flow arc that connects the box and the transition to indicate a flow of control, and the firing of the transition. a control arc which indicates a signal inputted from the outside for the output arcs showing signals outputted to the outside from the box, viewed contains a token that indicates the current situation, the activities box said box having an output signal arcs and inactivity box no output signal arcs for a base of including mark flow graph,
The specific activity box and the transitions before and after the activity box are expressed as a block as one function transition. The function transition includes a code representing a function, an input / output end of the flow arc, and an input end of the control arc. , der is, a plurality of the functional transition, the sequence control system, characterized in that that will be bound by the flow arc through the inactivity box mode deli ring system which includes an output terminal of the output arc.

前記流れアークの延びる方向と、前記制御アーク及び出力アークの延びる方向とが直交していることを特徴とする請求項１記載のシーケンス制御系のモデリングシステム。Wherein the direction of extension of the flow arc claim 1 Symbol placement sequence control system modeling systems of the direction of extension of the control and output arcs are characterized by being orthogonal.

シーケンスプログラムによって制御されるシーケンス制御系をモデル化する線図を作成及び編集する手段と、
この手段で作成及び編集された線図を表示する手段と、
この手段で表示された線図から前記シーケンス制御系の動作を検証する手段とを備えたシーケンスプログラム作成支援システムにおいて、
前記シーケンス制御系をモデル化する線図は、状況を表現するボックスと、事象を表現するトランジションと、これらボックス及びトランジションを接続して制御の流れを示す流れアークと、前記トランジションの発火を制御するため外部から入力される信号を示す制御アークと、前記ボックスから外部に出力される信号を示す出力アークと、現在の状況を示すトークンとを含み、前記ボックスが出力信号アークを有する活動ボックスと出力信号アークを有しない非活動ボックスとを含むマークフローグラフを基本とし、
特定の前記活動ボックスとその前後のトランジションとは、１つの機能トランジションとしてブロックで表現され、前記機能トランジションは、機能を表す符号と、前記流れアークの入出力端と、前記制御アークの入力端と、前記出力アークの出力端とを含むものであり、複数の前記機能トランジションは、非活動ボックスを介して流れアークによって結合される
ことを特徴とするシーケンスプログラム作成支援システム。Means for creating and editing a diagram modeling a sequence control system controlled by a sequence program;
Means for displaying a diagram created and edited by this means;
In a sequence program creation support system comprising means for verifying the operation of the sequence control system from the diagram displayed by this means,
The diagram that models the sequence control system controls a box that represents a situation, a transition that represents an event, a flow arc that connects the box and the transition to indicate a flow of control, and the firing of the transition. a control arc which indicates a signal inputted from the outside for the output arcs showing signals outputted to the outside from the box, viewed contains a token that indicates the current situation, the activities box said box having an output signal arcs and inactivity box no output signal arcs for a base of including mark flow graph,
The specific activity box and the transitions before and after the activity box are expressed as a block as one function transition. The function transition includes a code representing a function, an input / output end of the flow arc, and an input end of the control arc. , der is, a plurality of the functional transitions, sequence program creation support system characterized by that will be bound by the flow arc through the inactivity box to include the output terminal of the output arc.

シーケンスプログラムによって制御されるシーケンス制御系をモデル化する線図を作成及び編集するステップと、
このステップで作成及び編集された線図を表示するステップと、
このステップで表示された線図から前記シーケンス制御系の動作を検証するステップとを備えたシーケンスプログラム作成支援プログラムであって、
前記シーケンス制御系をモデル化する線図は、状況を表現するボックスと、事象を表現するトランジションと、これらボックス及びトランジションを接続して制御の流れを示す流れアークと、前記トランジションの発火を制御するため外部から入力される信号を示す制御アークと、前記ボックスから外部に出力される信号を示す出力アークと、現在の状況を示すトークンとを含み、前記ボックスが出力信号アークを有する活動ボックスと出力信号アークを有しない非活動ボックスとを含むマークフローグラフを基本とし、
特定の前記活動ボックスとその前後のトランジションとは、１つの機能トランジションとしてブロックで表現され、前記機能トランジションは、機能を表す符号と、前記流れアークの入出力端と、前記制御アークの入力端と、前記出力アークの出力端とを含むものであり、複数の前記機能トランジションは、非活動ボックスを介して流れアークによって結合される
ことを特徴とするシーケンスプログラム作成支援プログラムを記憶した媒体。Creating and editing a diagram modeling a sequence control system controlled by a sequence program;
Displaying the diagram created and edited in this step;
A sequence program creation support program comprising a step of verifying the operation of the sequence control system from the diagram displayed in this step,
The diagram that models the sequence control system controls a box that represents a situation, a transition that represents an event, a flow arc that connects the box and the transition to indicate a flow of control, and the firing of the transition. a control arc which indicates a signal inputted from the outside for the output arcs showing signals outputted to the outside from the box, viewed contains a token that indicates the current situation, the activities box said box having an output signal arcs and inactivity box no output signal arcs for a base of including mark flow graph,
The specific activity box and the transitions before and after the activity box are expressed as a block as one function transition. The function transition includes a code representing a function, an input / output end of the flow arc, and an input end of the control arc. state, and are intended to include the output terminal of the output arcs, the plurality of functional transition, storing a sequence program creation support program characterized by that will be bound by the flow arc through the inactivity box medium.