"複数のローラによりシート状の搬送体を搬送する搬送機構の制御設計を、互いに通信可能な複数の搬送シミュレータによる搬送シミュレーションによって支援する設計支援方法であって、前記搬送シミュレーションは、前記複数の搬送シミュレータに対して、前記搬送体の搬送パスに基づいて上流側と下流側の位置関係を定義する位置定義ステップと、前記複数の搬送シミュレータのそれぞれにおいて、前記位置定義ステップで定めた上流側と下流側の関係にしたがって、前記複数の搬送シミュレータ間における搬送体の受け渡しを行う仮想ローラを定義するローラ定義ステップと、前記位置定義ステップで定められた上流側の搬送シミュレータが、仮想の第1の搬送体を生成し、上流側の搬送シミュレータにおける前記第1の搬送体の搬送シミュレーションを開始する第1のシミュレーション開始ステップと、前記上流側の搬送シミュレータにおいて前記第1の搬送体が所定位置に到達した時点で、前記上流側の搬送シミュレータから前記位置定義ステップで定められた下流側の搬送シミュレータに前記第1の搬送体に関する第1の搬送体情報を通知する第1の通知ステップと、前記上流側の搬送シミュレータにおいて前記搬送体が前記所定位置を通過するまでの間に、前記上流側の搬送シミュレータから前記下流側の搬送シミュレータに前記搬送体に関する第2の搬送体情報を所定の時間間隔で通知する第2の通知ステップと、を有することを特徴とする設計支援方法。前記搬送シミュレーションは、前記下流側の搬送シミュレータが、前記上流側の搬送シミュレータから通知された前記第1の搬送体情報に基づいて仮想の第2の搬送体を生成し、前記下流側の搬送シミュレータでの前記第2の搬送体の搬送シミュレーションを開始する第2のシミュレーション開始ステップを更に有することを特徴とする請求項1記載の設計支援方法。前記搬送シミュレーションは、前記下流側の搬送シミュレータが、前記上流側の搬送シミュレータから通知された前記第2の搬送体情報に基づいて、前記第2の搬送体の搬送量を算出する算出ステップを更に有することを特徴とする請求項2記載の設計支援方法。前記所定位置は、前記上流側の搬送シミュレータにおける前記第1の搬送体の搬送パスの終端位置であることを特徴とする請求項1乃至3のいずれか1項に記載の設計支援方法。前記第1の搬送体情報は、前記第1の搬送体のサイズを示す情報を含むことを特徴とする請求項1乃至4のいずれか1項に記載の設計支援方法。前記第1の搬送体情報は、更に前記第1の搬送体の種類を示す情報を含むことを特徴とする請求項5記載の設計支援方法。前記第1の搬送体情報は、更に前記第1の搬送体の受け渡し速度を示す情報を含むことを特徴とする請求項5又は6記載の設計支援方法。前記第2の搬送体情報は、前記第1の搬送体の受け渡し速度を示す情報を含むことを特徴とする請求項1乃至7のいずれか1項に記載の設計支援方法。前記第2の搬送体情報は、前記第1の搬送体の移動量を示す情報を含むことを特徴とする請求項1乃至7のいずれか1項に記載の設計支援方法。しかしながら、上記の設計支援方法では、特定の画像形成システムに対しては効果的であっても、より汎用的な画像形成システムへの展開を考えた場合に問題がある。具体的には、実機環境ではシステム構成や制御タイミング、用紙サイズ等によって、用紙が2つのデバイスの間に跨がった状態で一時停止する場合があり、上記の設計支援方法ではそのような状況に対応することができない。これについて、図17及び図18を参照して説明する。図17は、画像形成システム実機において上流デバイスから下流デバイスへ用紙を受け渡す動作を模式的に示す第1の図である。なお、図14と同様に、搬送パス上の太線部分は用紙を、太線で表現されているローラは駆動状態にあることを、太線で表現されているセンサは用紙の検知状態にあることを示している。また、図17に図示されている各要素について、図14に示される要素と同じものには、図14と同じ符号を用いている。図17aは、下流デバイス1402において先行用紙N-1が外部給紙ローラ1407によって搬送され、用紙センサ1408が先行用紙N-1を検知している状態を示している。また、下流デバイス1402において外部給紙センサ1406から先行用紙N-1が抜けたことを受けて、上流デバイス1401では、後続用紙Nを下流デバイス1402に送るために排紙ローラ1404を駆動している。ここで、上流デバイス1401は、後続用紙Nの先端が排紙センサ1405に到達したことを受けて、用紙搬送通知コマンドを下流デバイス1402に送信している。図17bは、先行用紙N-1が停止し、これを受けて後続用紙Nが上流デバイス1401と下流デバイス1402との間に跨がって一時停止している状態を示している。これは、後続用紙Nの先端位置を確定することができるように、後続用紙Nの先端が外部給紙センサ1406に到達してから後続用紙Nを停止させる制御を行っているためである。図17cは、先行用紙N-1の搬送が再開され、これを受けて下流デバイス1402から上流デバイス1401へ後続用紙Nの搬送再開を促すコマンドが送信された状態を示している。図17dは、上流デバイス1401が、下流デバイス1402からの後続用紙Nの搬送再開を促すコマンドを受けて、後続用紙Nの搬送再開させた状態を示している。このように、実機環境では、特に問題なく用紙搬送を再開させることができる。図18は、画像形成システム実機において上流デバイスから下流デバイスへ用紙を受け渡す動作を模式的に示す第2の図である。なお、図14と同様に、搬送パス上の太線部分は用紙を、太線で表現されているローラは駆動状態にあることを、太線で表現されているセンサは用紙の検知状態にあることを示している。また、図18に図示されている各要素について、図14に示される要素と同じものには、図14と同じ符号を用いている。図18aは図17aと同等であるので、ここでの説明を省略する。但し、ここでは、3枚の用紙N-2,N-1,Nがこの順序で搬送される形態を取り扱うため、図18aには、用紙N-2,N-1の搬送状態が示されている。図18bは、下流デバイス1402による用紙N-1の搬送が開始され、上流デバイス1401では用紙Nの搬送が行われている状態が示されている。この状態から図18cに示されるように、何らかの理由によって下流デバイス1402が用紙N-1の搬送を一時停止させた場合において、用紙N-1の後端が上流デバイス1401に残った状態となることがある。この場合も、図18dに示されるように、下流デバイス1402での用紙N-1の搬送が再開されると、上流デバイス1401での用紙Nの搬送が再開される。その後、図18eに示されるように、実質的に図18aと同じ用紙搬送状態となる。よって、この場合も図17に示した場合と同様に、実機環境では特に問題なく、用紙搬送を再開させることができる。これら図17及び図18に示した状況を従来の搬送シミュレータ上で発生させたときにどのような問題が生じるかについて、それぞれ、図19及び図20を参照して説明する。図19は、複数の搬送シミュレータを連係動作させる搬送シミュレーション検証システムにおける、上流側シミュレータから下流側シミュレータへの仮想用紙の受け渡しに関する動作を模式的に示す第1の図である。図19では、図16と同様に、仮想搬送パス上の太線部分は仮想用紙を、太線で表現されている仮想ローラは駆動状態にあることを、太線で表現されている仮想センサは仮想用紙の検知状態にあることを示している。また、図19に図示されている各要素について、図16に示される要素と同じものには、図16と同じ符号を用いている。図19aは、先行する仮想用紙N′-1の後端が仮想外部給紙センサ1608を抜けて、下流側シミュレータ1602内にあることを仮想用紙センサ1901が検知している状態を示している。図19aはまた、上流側シミュレータ1601から後続の仮想用紙Nをこれから下流側シミュレータ1602に受け渡す段階にある状態を示している。なお、この段階は、下流側シミュレータ1602に仮想用紙Nに相当する仮想用紙N′を作成させる段階でもあり、仮想用紙N′の作成は、図16を参照した説明と同様に行われる。図19bは、下流側シミュレータ1602では、先行する仮想用紙N′-1が停止し、これを受けて後続の仮想用紙N′が仮想外部給紙センサ1608に到達したことを下流側シミュレータ1602が上流側シミュレータ1601に通知した状態を示している。よって、上流側シミュレータ1601では、この通知を受けて、仮想排紙ローラ1604の回転をこれから停止させる段階にある。しかし、図19cに示されるように、下流側シミュレータ1602では仮想用紙N′の搬送はダミー給紙ローラ1607によって行われているため、仮想用紙N′は停止することなく、仮想用紙N′の先端が仮想外部給紙ローラ1609まで進んでしまう。また、仮想用紙N′の後端はダミー給紙ローラ1607を抜けるまで搬送される。その結果、この時点で、仮想用紙の長さが許容量以上に短くなるという用紙長さ異常が発生する。また、上流側シミュレータ1601では、仮想排紙ローラ1604による仮想用紙Nの搬送は停止するが、ダミー排紙ローラ1606による搬送が停止しない。その結果、仮想用紙Nの先端位置の更新が進み、用紙長さが許容量以上に長くなるという用紙長さ異常が発生する。図20は、複数の搬送シミュレータを連係動作させる搬送シミュレーション検証システムにおける、上流側シミュレータから下流側シミュレータへの仮想用紙の受け渡しに関する動作を模式的に示す第2の図である。図20でも、図16及び図19と同様に、仮想搬送パス上の太線部分は仮想用紙を、太線で表現されている仮想ローラは駆動状態にあることを、太線で表現されている仮想センサは仮想用紙の検知状態にあることを示している。また、図20に図示されている各要素について、図16又は図19に示される要素と同じものには、図16と同じ符号を用いている。図20aは、先行する仮想用紙N′-1の後端が下流側シミュレータ1602内にあり、上流側シミュレータ1601から後続の仮想用紙Nを下流側シミュレータ1602にこれから受け渡す段階を示している。図20bは、上流側シミュレータ1601から下流側シミュレータ1602へ仮想用紙N仮想用紙N′の受け渡しの途中段階を示している。この段階では、上流側シミュレータ1601では、仮想用紙Nの後続の仮想用紙N1の搬送も行われている。図20cでは、下流側シミュレータ1602において仮想用紙Nの搬送を一時停止させ、そのことを上流側シミュレータ1601に通知している。この通知に対して上流側シミュレータ1601では、仮想用紙Nに対しては既に仮想排紙ローラ1604を通過しているため特に処理はなく、仮想用紙N1を停止させる制御が行われる。その結果、図20dに示されるように、下流側シミュレータ1602では、仮想用紙N′の後端がダミー給紙ローラ1607によって搬送が進み、用紙長さが許容量以上に短くなるという用紙長さ異常が発生する可能性がある。一方、上流側シミュレータ1601では、仮想用紙N1は停止するが、本来は上流側シミュレータ1601内に残るべきである仮想用紙Nの後端がダミー排紙ローラ1606によって排紙されてしまい、実機とは異なる挙動となることがある。このような問題への対策の1つとして、ダミー排紙ローラ1606は仮想排紙ローラ1604と、ダミー給紙ローラ1607は仮想外部給紙ローラ1609と、それぞれ連動するようにシミュレータ環境を制御する対応が考えられる。しかし、排紙に関しては、仮想排紙ローラ1604を仮想用紙N′が抜けた後も、仮想用紙N′がダミー排紙ローラ1606を抜けるまでは仮想排紙ローラ1604の回転を止められないため、仮想排紙ローラ1604の停止タイミングを変える必要がある。また、給紙に関しては、ダミー給紙ローラ1607を回転させておかないと、仮想外部給紙ローラ1609まで仮想用紙N′が搬送されて来ない。そのため、仮想外部給紙ローラ1609の回転開始タイミングよりも早めにダミー給紙ローラ1607の回転を始めて、ダミー給紙ローラ1607による仮想用紙N′の搬送が行われるようにする必要がある。すなわち、これらのいずれの場合でも、実機環境とシミュレータ環境とで制御のタイミングを変更しなければならないことが問題となる。一方、ダミー排紙ローラ1606とダミー給紙ローラ1607とを含めて、デバイスアプリケーション側で制御する方法も考えられるが、この場合も、実機制御用のプログラムコード内に搬送シミュレータ環境独自の制御が混在してしまうという問題がある。本発明は、実機においてシート状の搬送体が装置間に跨がった状態や一時停止した状態等を搬送シミュレータ上で忠実に再現する搬送シミュレーションにより搬送体の搬送機構を制御するソフトウェアの設計支援方法を提供することを目的とする。本発明に係る設計支援方法は、複数のローラによりシート状の搬送体を搬送する搬送機構の制御設計を、互いに通信可能な複数の搬送シミュレータによる搬送シミュレーションによって支援する設計支援方法であって、前記搬送シミュレーションは、前記複数の搬送シミュレータに対して、前記搬送体の搬送パスに基づいて上流側と下流側の位置関係を定義する位置定義ステップと、前記複数の搬送シミュレータのそれぞれにおいて、前記位置定義ステップで定めた上流側と下流側の関係にしたがって、前記複数の搬送シミュレータ間における搬送体の受け渡しを行う仮想ローラを定義するローラ定義ステップと、前記位置定義ステップで定められた上流側の搬送シミュレータが、仮想の第1の搬送体を生成し、上流側の搬送シミュレータにおける前記第1の搬送体の搬送シミュレーションを開始する第1のシミュレーション開始ステップと、前記上流側の搬送シミュレータにおいて前記第1の搬送体が所定位置に到達した時点で、前記上流側の搬送シミュレータから前記位置定義ステップで定められた下流側の搬送シミュレータに前記第1の搬送体に関する第1の搬送体情報を通知する第1の通知ステップと、前記上流側の搬送シミュレータにおいて前記搬送体が前記所定位置を通過するまでの間に、前記上流側の搬送シミュレータから前記下流側の搬送シミュレータに前記搬送体に関する第2の搬送体情報を所定の時間間隔で通知する第2の通知ステップと、を有することを特徴とする。本発明によれば、実機において搬送体を搬送する装置間で搬送体が跨がった状態や搬送体が一時停止した状態を、搬送シミュレータ上で忠実に再現させることができる。以下、本発明の実施の形態について添付図面を参照して詳細に説明する。本実施形態では、複数のローラによりシート状の搬送体である用紙を搬送する搬送機構を備える画像形成システムに対して用いられ、この搬送機構の制御設計に有用な搬送シミュレーションを行う設計支援システムを取り上げる。<第1実施形態>[設計支援システムの構成]図1は、第1実施形態に係る設計支援システムの制御ブロック図である。この設計支援システムは、1台の汎用コンピュータPC上で動作する複数の用紙搬送シミュレータ以下搬送シミュレータと記すの連係により、画像形成システムを構成する複数の装置における用紙の搬送制御をシミュレーションする。これにより、本実施形態に係る設計支援システムは、実機現実の画像形成システムを制御するファームウェアの制御設計を支援する。なお、本実施形態では、現実の画像形成システムは、具体的には、画像形成装置プリンタと、プリンタの上流側に接続された給紙デッキと、プリンタの下流側に接続されたフィニッシャとから成るものとする。本実施形態に係る設計支援システムは、機構的に同一な3つの搬送シミュレータ101,102,103で構成されている。搬送シミュレータ101~103はそれぞれ、アプリケーション部1、用紙搬送シミュレーション部2、外部I/F部3、入力監視部4及び表示制御部5を備えている。搬送シミュレータ101~103は、それぞれが有する外部I/F部3を介して互いに通信可能となっている。それぞれのアプリケーション部1は、実機用の用紙搬送制御プログラムコードを基にしてPC上で動作するよう作成されたPCアプリケーションである。本実施形態では、搬送シミュレータ101のアプリケーション部1は給紙デッキアプリケーションであり、搬送シミュレータ102のアプリケーション部1はプリンタアプリケーションである。また、搬送シミュレータ103のアプリケーション部1はフィニッシャアプリケーションである。それぞれの入力監視部4は、マンマシンインターフェイスであるキーボードやマウス等の入力を監視し、対応するアプリケーション部1に動作要求を通知する。それぞれの用紙搬送シミュレーション部2は、対応するアプリケーション部1と連動し、アプリケーション部1からの指示に従って仮想の用紙を生成し、生成した仮想用紙を仮想のローラの回転に従って仮想の搬送経路搬送パス内を移動させる。そして、仮想搬送パス内の仮想用紙の位置に応じて仮想のセンサの出力値を更新し、仮想センサの出力値を対応するアプリケーション部1に通知することで、仮想用紙の搬送シミュレーションを行う。具体的には、用紙搬送シミュレーション部2は、以下の処理を行う。すなわち、アプリケーション部1から出力される給紙要求を受けて、仮想用紙の用紙情報詳細は後述するを生成する。また、アプリケーション部1から出力される仮想ローラの制御コマンドと経過時間とから仮想用紙の移動距離を算出し、算出した移動距離を予め数値化された仮想搬送パスの情報と照らし合わせて仮想用紙の位置情報を更新する。更に、得られた仮想用紙の位置情報と予め数値化された仮想センサの位置情報とから仮想センサの出力値を算出して、アプリケーション部1に入力する。それぞれの用紙搬送シミュレーション部2の構成は共通しているが、搬送シミュレータ101の用紙搬送シミュレーション部2は、給紙デッキに初期化され、仮想給紙デッキとして機能する。搬送シミュレータ102の用紙搬送シミュレーション部2は、プリンタに初期化されて仮想プリンタとして機能し、搬送シミュレータ103の用紙搬送シミュレーション部2は、フィニッシャに初期化されて仮想フィニッシャとして機能する。つまり、搬送シミュレータ101は、仮想給紙デッキ給紙デッキシミュレータであり、搬送シミュレータ102は仮想プリンタプリンタシミュレータであり、搬送シミュレータ103は仮想フィニッシャフィニッシャシミュレータである。本実施形態に係る設計支援システムは、前述の通り、給紙デッキ/プリンタ/フィニッシャからなる画像形成システムにおける用紙の搬送制御をシミュレーションする。そのため、現実の用紙の搬送パスに基づいて、搬送シミュレータ101~103における上流側と下流側の位置関係を定義する必要がある。ここで、仮想給紙デッキは仮想用紙を搬送する仮想搬送パスの最も上流側に位置する。仮想プリンタは、仮想給紙デッキの下流側で仮想フィニッシャの上流側に位置するので、仮想給紙デッキから見れば下流側のシミュレータであるが、仮想フィニッシャから見れば上流側のシミュレータである。仮想フィニッシャは仮想搬送パスの最も下流側に位置する。一方、仮想用紙の受け渡しは、仮想給紙デッキと仮想プリンタとの間、及び、仮想プリンタと仮想フィニッシャとの間で行われる。そこで、以下の説明では、仮想用紙の受け渡しを行う2つの仮想デバイスである搬送シミュレータを、適宜、上流側シミュレータ、下流側シミュレータと一般化した称呼により説明を行う。搬送シミュレータ101~103のそれぞれにおいて、外部I/F部3は、アプリケーション部1と接続されており、実機環境と同様にアプリケーション部1同士の間での動作連係を同期させるための通信を行う。例えば、上流側シミュレータから下流側シミュレータへの仮想用紙の受け渡しの前後で、上流側シミュレータは下流側シミュレータに仮想用紙の受け入れ準備の開始を要求する。また、仮想用紙の受け渡し後には、下流側シミュレータは上流側シミュレータに仮想用紙の受け取りの完了を通知する。外部I/F部3はまた、用紙搬送シミュレーション部2と接続され、用紙搬送シミュレーション部2同士の間で、主に、仮想用紙の用紙情報の受け渡しに関連した通信を行う。例えば、上流側シミュレータから下流側シミュレータに受け渡される仮想用紙をシミュレートするために、上流側シミュレータの用紙搬送シミュレーション部2から下流側シミュレータの用紙搬送シミュレーション部2へ用紙情報が通知される。搬送シミュレータ101~103が構築されている1台の汎用コンピュータPCはディスプレイ不図示を備えており、表示制御部5は、対応する用紙搬送シミュレーション部2の動作状況や処理結果等をディスプレイに表示する。図2は、それぞれの表示制御部5によってディスプレイ上に表示される搬送シミュレーション画面の例を示す図である。シミュレーション画面W1,W2,W3はそれぞれ、搬送シミュレータ101,102,103でのシミュレーション画面である。シミュレーション画面W1は、データとしての仮想用紙を生成する仮想給紙デッキである搬送シミュレータ101の機械的構成と仮想用紙の搬送シミュレーションの進行状態を示している。シミュレーション画面W3は、仮想用紙を削除する仮想フィニッシャである搬送シミュレータ103の機械的構成と仮想用紙の搬送シミュレーションの進行状態を示している。シミュレーション画面W2は、仮想給紙デッキから渡された仮想用紙を仮想フィニッシャに渡す仮想プリンタである搬送シミュレータ102の機械的構成と仮想用紙の搬送シミュレーションの進行状態を示している。なお、図2では、個別に表示されるこれらのシミュレーション画面W1~W3を便宜的に横に並べて示している。また、シミュレーション画面W1~W3では、仮想搬送パスが点線、仮想ローラが丸、仮想センサが三角、仮想用紙が実線で、それぞれ示されている。図3は、搬送シミュレータ101~103のそれぞれにおけるアプリケーション部1、用紙搬送シミュレーション部2及び外部I/F部3の相互の接続関係を示す図である。アプリケーション部1は、ファームソフトウェア部10と、ラッパー部11と、入力I/Fモジュール12と、出力I/Fモジュール13とを有する。ファームソフトウェア部10は、実機現実の画像形成装置又は周辺装置での用紙の搬送制御を行うためのソフトウェアである。ラッパー部11は、実機現実の画像形成装置又は周辺装置のファームソフトウェアをPC上で動作させる。入力I/Fモジュール12は、入力監視部4、用紙搬送シミュレーション部2及び外部I/F部3からの情報をファームソフトウェア部10に入力する。出力I/Fモジュール13は、ファームソフトウェア部10からの情報を用紙搬送シミュレーション部2又は外部I/F部3に出力する。用紙搬送シミュレーション部2は、用紙位置計算部20と、入力I/Fモジュール21と、出力I/Fモジュール22と、用紙位置表示画像生成部23とを有している。入力I/Fモジュール21は、アプリケーション部1の出力I/Fモジュール13及び外部I/F部3からの出力を受け、仮想用紙の搬送制御に関する制御情報を用紙位置計算部20へ渡す。用紙位置計算部20では、仮想ローラの位置を記憶し、アプリケーション部1又は外部I/F部3を介して別の搬送シミュレータから送信されてくる仮想用紙の搬送制御に関する情報に従って、仮想ローラを回転させる。そして、記憶している仮想ローラの位置と回転速度とに基づいて、仮想搬送パス内における仮想用紙の位置を更新し、記憶する。用紙位置表示画像生成部23は、用紙位置計算部20により計算された仮想用紙の位置に基づいて、シミュレーション画面例えば、搬送シミュレータ101ではシミュレーション画面W1を更新し、表示制御部5に対して表示を行うように指示する。出力I/Fモジュール22は、用紙位置計算部20が計算した仮想用紙の位置情報をアプリケーション部1の入力I/Fモジュール12に与える。また、出力I/Fモジュール22は、仮想用紙が所定位置に到達したときに、用紙情報を外部I/F部3のネットワーク出力I/F部31に与える。外部I/F部3は、ネットワーク入力I/F部30と、ネットワーク出力I/F部31とを有している。ネットワーク入力I/F部30は、他の搬送シミュレータから送られてくるコマンドを受信し、受信したコマンドがアプリケーションの同期に関連するコマンドである場合には、受信したコマンドをアプリケーション部1の入力I/Fモジュール12に渡す。また、ネットワーク入力I/F部30は、搬送シミュレーションの同期に関するコマンドを他の搬送シミュレータから受信した場合には、受信したコマンドを用紙搬送シミュレーション部2の入力I/Fモジュール21に渡す。ネットワーク出力I/F部31は、アプリケーション部1の出力I/Fモジュール13から送られてくるコマンドや用紙搬送シミュレーション部2の出力I/Fモジュール22から送られてくる用紙情報を他の搬送シミュレータに送信する。[仮想用紙の受け渡しの際の上流側シミュレータにおける搬送シミュレーション]図4は、現実の画像形成システムを構成する装置間で用紙の受け渡しをする際の上流側の装置における用紙の搬送制御をシミュレートする上流側シミュレータでの処理の流れを示すフローチャートである。なお、図4のフローチャートに従う制御は、概念的には、先に図16を参照して説明した従来の搬送シミュレータ上での仮想用紙の受け渡しに関する動作と等しい。図4は、具体的には、仮想給紙デッキである搬送シミュレータ101から仮想プリンタである搬送シミュレータ102へ仮想用紙を受け渡す際の搬送シミュレータ101における制御フローを示している。図4はまた、仮想プリンタである搬送シミュレータ102から仮想フィニッシャである搬送シミュレータ103へ仮想用紙を受け渡す際の搬送シミュレータ102における制御フローでもある。用紙の搬送制御をシミュレートする処理では、先ず、シミュレータ環境を初期化するステップS401。本実施形態では、ステップS401には、用紙の搬送パスに基づいて、それぞれの搬送シミュレータ101~103において、上流側と下流側の位置関係を定義する位置定義ステップが含まれるものとする。また、ステップS401には、搬送シミュレータ101~103のそれぞれにおいて、仮想用紙を搬送する搬送機構としての仮想ローラを定義するローラ定義ステップが含まれるものとする。なお、これらの定義ステップは、シミュレータ環境の初期化前に行われていてもよい。そして、給紙要求を示すコマンド給紙要求コマンドを待つステップS402。給紙要求コマンドを受けると、上流側シミュレータ内で搬送される仮想用紙第1の搬送体の用紙情報第1の搬送体情報を生成しステップS403、搬送シミュレーションを開始するステップS404:第1のシミュレーション開始ステップ。搬送シミュレーションの動作中には、所定の時間間隔で仮想用紙が所定位置上に位置しているかを判定するステップS405。本実施形態では、この所定位置は、上流側シミュレータにおける仮想搬送パスの終端位置である排紙ポイントとする。この排紙ポイントは、現実の給紙デッキ実機において用紙が断面図上で機外に排出される排紙位置であり、搬送シミュレータ101のシミュレート対象である給紙デッキの機械的構成から一意に求めることができる。なお、排紙ポイントの位置は、先に説明した図16に示されるダミー排紙ローラ1606の位置に該当する。仮想用紙が排紙ポイントに到達した時点で、作成した用紙情報に基づいて受け渡し情報第1の搬送体情報の生成を行い、下流側シミュレータに受け渡し情報の通知を行うステップS406:第1の通知ステップ。この受け渡し情報には、例えば、仮想用紙の種類、仮想用紙のサイズ及び仮想用紙の受け渡し速度をそれぞれ示す情報の少なくとも一つが含まれる。そして、下流側シミュレータからの応答を待ちステップS407、応答コマンドを受信したら、応答コマンドに含まれる仮想用紙の移動量に基づいて用紙位置の更新を行うステップS408。続いて、搬送シミュレーションを行うステップS409。このステップS409の搬送シミュレーションでは、仮想用紙の移動量の算出のみを行い、仮想用紙の位置の更新は行わない点で、ステップS404の搬送シミュレーションと異なる。仮想用紙が排紙ポイント上に位置している間、上流側シミュレータと下流側シミュレータとの間で受け渡し情報第2の搬送体情報の通信が所定の時間間隔で行われる第2の通知ステップ。このときの受け渡し情報には、仮想用紙の受け渡し速度を示す情報と仮想用紙の移動量を示す情報の少なくとも一方の情報が含まれる。仮想用紙は、この通信が行われる所定の時間間隔毎に仮想搬送パスを移動する。ステップS409の後、処理をステップS405に戻し、仮想用紙が排紙ポイント上に位置しなくなるまで、仮想用紙の受け渡しに関する処理を継続する。ステップS405において仮想用紙が排紙ポイント上に位置しなくなると、処理はステップS410に進められる。このステップS410では、仮想用紙の排紙が完了したか否かを判定し、排紙が完了していない場合仮想用紙が排紙ポイントに到達していない場合を含むには、処理をステップS404に戻し、排紙が完了した場合には、本処理を終了する。[仮想用紙の受け渡しの際の下流側シミュレータにおける搬送シミュレーション]図5は、現実の画像形成システムを構成する装置間で用紙の受け渡しをする際の下流側の装置における用紙の搬送制御をシミュレートする下流側シミュレータでの処理の流れを示すフローチャートである。図5は、具体的には、仮想給紙デッキである搬送シミュレータ101から仮想プリンタである搬送シミュレータ102に仮想用紙を受け渡す際の搬送シミュレータ102における制御フローを示している。図5はまた、仮想プリンタである搬送シミュレータ102から仮想フィニッシャである搬送シミュレータ103に仮想用紙を受け渡す際の搬送シミュレータ103における制御フローでもある。用紙の搬送制御をシミュレートする処理では、先ず、シミュレータ環境を初期化しステップS501、上流側シミュレータからの仮想用紙の受け渡し情報第1の搬送体情報の通知第1の通知である動作開始のコマンドを待つステップS502。動作開始コマンドを受け取るとステップS503、受け渡し情報に基づいて、仮想用紙第2の搬送体の用紙情報を作成し、上流側シミュレータに応答コマンドを返しステップS504、仮想用紙の受け渡し動作のシミュレーションを開始する第2のシミュレーション開始ステップ。仮想用紙の受け渡し動作のシミュレーションとして、本実施形態では、仮想用紙の受け渡しが完了するまでに、受け渡し情報の受信ステップS505、仮想用紙の位置の更新と応答ステップS506、及び搬送シミュレーションステップS507を繰り返し実行する。ステップS505で受け渡し情報を受信したときに仮想用紙が下流側シミュレータ内の外部給紙ローラに到達していた場合、ステップS506では、外部給紙ローラによる搬送量に基づいて仮想用紙の移動量を算出し、用紙位置を更新する。なお、外部給紙ローラは、先に説明した図16に記載の仮想外部給紙ローラ1609と同等である。ステップS505で受け渡し情報を受信したときに仮想用紙が下流側シミュレータ内の外部給紙ローラに到達していない場合、ステップS506では、受け渡し情報内の受け渡し速度を示す情報に基づいて計算された仮想用紙の移動量又は移動量パラメータを仮想用紙の移動量として用紙位置を更新する。そして、適用した仮想用紙の移動量をパラメータとして応答コマンドに設定し、上流側シミュレータに通知する。搬送シミュレーションステップS507の間に、下流側シミュレータでの仮想用紙の長さが、受け渡し情報から得られる仮想用紙の長さと同じになった時点で、仮想用紙の受け渡しが完了したと判断するステップS508。仮想用紙の受け渡しが完了するまで、ステップS505~S507の処理が繰り返され、受け渡しが完了すると、受け渡し動作のシミュレーションは終了し、下流側シミュレータ内での搬送シミュレーションへ移るステップS509。[搬送シミュレータ間での仮想用紙の受け渡しの際の連係動作]ここでは、仮想デバイスである上流側シミュレータと下流側シミュレータとの間での仮想用紙を受け渡す際の連係動作について説明する。図6は、仮想用紙が搬送シミュレータ101~103間での受け渡し途中で一時停止することがない正常系のタイミングシーケンスを模式的に示す図である。図6のタイミングシーケンスでは、上流側シミュレータと下流側シミュレータとの間での仮想用紙の受け渡し前後において、仮想用紙の搬送速度を一定とする。また、図6では、上側のラインが上流側シミュレータにおける仮想用紙の先端の移動状況を示し、下側のラインが下流側シミュレータにおける仮想用紙の先端の移動状況を示している。また、図6では、縦軸に給紙開始点からの移動距離を、横軸に動作開始からの時間経過を取っている。仮想用紙の搬送状態は、フェーズ1、フェーズ2及びフェーズ3に大別することができる。フェーズ1は、仮想用紙全体が上流側シミュレータ内にある状態であり、仮想用紙の受け渡し開始前の状態である。フェーズ2は、仮想用紙が上流側シミュレータと下流側シミュレータとの間で受け渡しされている状態である。フェーズ3は、仮想用紙全体が下流側シミュレータ内にある、用紙受け渡し終了後の状態である。フェーズ1では仮想用紙全体が上流側シミュレータ内にある。そのため、上流側シミュレータにおける搬送シミュレーションの開始時点第1のシミュレーション開始ステップから、図6中の1の時点までの区間が、つまり排紙ポイントに仮想用紙の先端が到達する時点までの区間が、フェーズ1となる。図6中の1の時点で下流側シミュレータに用紙の受け渡し情報が通知される第1の通知ステップ。下流側シミュレータでは受信した受け渡し情報に基づいて距離0の点に仮想用紙第2の搬送体を生成し、図6中の2において搬送シミュレーションを開始する第2のシミュレーション開始ステップ。フェーズ1の後、フェーズ2では、所定の時間間隔で上流側シミュレータから下流側シミュレータに仮想用紙の受け渡し情報が通知される第2の通知ステップ。また、下流側シミュレータでは受信した受け渡し情報内の受け渡し速度情報に基づいて計算された仮想用紙の移動量又は移動量パラメータに基づいて仮想用紙の用紙位置を更新し、仮想用紙の移動量を応答コマンドに付加して上流側シミュレータに通知する。上流側シミュレータでは受信した応答コマンド内の仮想用紙の移動量パラメータに基づいて用紙位置を更新する。したがって、フェーズ1の後のフェーズ2の区間では、用紙位置の更新が上流側シミュレータと下流側シミュレータの双方において離散的に行われることとなる。そのため、図6において、フェーズ2は、仮想用紙が直線的に移動するフェーズ1及びフェーズ3とは異なり、仮想用紙の移動は、所定時間の経過毎に大きく移動する階段状のラインで表される。上流側シミュレータ内に存在する仮想用紙の長さがゼロ零:0となった時点でフェーズ2が終了し、フェーズ3へと移行する。フェーズ3では、仮想用紙全体が下流側シミュレータ内にあるため、仮想用紙の用紙位置の更新は下流側シミュレータのみで処理することができる。したがって、フェーズ3での仮想用紙の移動ラインは、フェーズ1と同様に直線的に表される。図7は、仮想用紙が搬送シミュレータ101~103間での受け渡し途中で一時停止する異常系のタイミングシーケンスの第1の例を模式的に示す図である。この例は、先に図19を参照して説明した、受け渡し中の仮想用紙の先端が下流側シミュレータの仮想外部給紙ローラ1609に到達していない状態で、仮想用紙が一時停止する場合のタイミングシーケンスを示している。なお、仮想用紙の受け渡し途中で仮想用紙は一時停止するが、上流下流側シミュレータ間での仮想用紙の受け渡しの前後において、図6の場合と同様に、用紙搬送速度を一定とする。また、図7のフェーズ1及びフェーズ3はそれぞれ図6のフェーズ1及びフェーズ3と同じであるため、ここでの説明を省略する。フェーズ2では、仮想用紙が上流側シミュレータと下流側シミュレータとの間で受け渡しされているので、所定の時間間隔で上流側シミュレータから下流側シミュレータへ仮想用紙の受け渡し情報が通知されている。ここで、図7中の3の時点で上流側シミュレータにおいて用紙搬送が一時停止したとすると、上流側シミュレータから下流側シミュレータに通知される仮想用紙の受け渡し情報内の受け渡し速度又は移動量パラメータはゼロ零:0となる。この受け渡し速度又は移動量パラメータがゼロとなっている受け渡し情報を受けた下流側シミュレータでは、仮想用紙の移動搬送が停止する。その後、図7中の4の時点で上流側シミュレータでの仮想用紙の搬送が再開されると、上流側シミュレータから下流側シミュレータに通知される仮想用紙の受け渡し情報内の受け渡し速度又は移動量パラメータがゼロではなくなる。これにより、下流側シミュレータにおける仮想用紙の搬送も再開され、上流下流側シミュレータ間で同期した仮想用紙の受け渡しが再開される。図8は、仮想用紙が搬送シミュレータ101~103間での受け渡し途中で一時停止する異常系のタイミングシーケンスの第2の例を模式的に示す図である。この例は、先に図20を参照して説明した、受け渡し中の仮想用紙の後端が上流側シミュレータの仮想排紙ローラ1604通過している状態で仮想用紙が一時停止する場合のタイミングシーケンスを示している。なお、図8のタイミングシーケンスでも、上流下流側シミュレータ間での仮想用紙の受け渡しの前後において、図6の場合と同様に、用紙搬送速度を一定とする。また、図8のフェーズ1及びフェーズ3はそれぞれ図6のフェーズ1及びフェーズ3と同じであるため、ここでの説明を省略する。フェーズ2では、仮想用紙が上流側シミュレータと下流側シミュレータとの間で受け渡しされているので、所定の時間間隔で上流側シミュレータから下流側シミュレータへ仮想用紙の受け渡し情報が通知されている。ここで、図8中の3′の時点で下流側シミュレータでの仮想用紙の搬送が一時停止したとする。すると、下流側シミュレータでは、上流側シミュレータから指示された仮想用紙の移動量と、受け渡し情報が通知される所定間隔の時間と、用紙搬送が停止した時間の関係とから、前回の移動から停止までの間の仮想用紙の移動量を算出する。そして、算出した移動量を応答コマンドに付加する移動量パラメータとして上流側シミュレータに応答する。その結果、上流側シミュレータは、下流側シミュレータから受けた応答コマンド内の、下流側シミュレータにおける用紙搬送の一時停止を示す移動量パラメータにより、上流側シミュレータ内での用紙移動を停止させる。その後、図8中の4′の時点で、下流側シミュレータにおける用紙搬送が再開されると、これを受けて下流側シミュレータから上流側シミュレータに通知される応答コマンド内の移動量パラメータもゼロでなくなり、上流側シミュレータでの仮想用紙の搬送が再開される。こうして、上流下流側シミュレータの間での同期した仮想用紙の受け渡しが実現される。[仮想用紙の受け渡し情報]図9は、図6~8のタイミングシーケンスで記述された仮想用紙の受け渡し情報の一例を示す図である。この受け渡し情報は、それ自身が用紙情報であることを示すコマンド部本例では0xF101と、それ以降のデータ量を示すデータサイズ部本例では0x0008とを有している。また、この受け渡し情報は、用紙長さ用紙サイズの判定に用いられる用紙コード部と紙種コード部、前回通知からのms単位での経過時間、経過時間の間の用紙移動量を0.1mm単位で表した値とを有している。本実施形態では、用紙搬送シミュレーション部2が有する用紙位置計算部20において、用紙コードから対応するサイズ長さの、仮想用紙としての用紙データを生成することになる。なお、送信データサイズを増やして、用紙コード部の代わりに、或いは用紙コード部に追加して、直接に用紙サイズ長さ、幅情報を通信するようにしてもよい。本実施形態に係る設計支援システムでは、現実の画像形成システムを構成する装置間で実際に用紙が跨がった状態や用紙を一時停止させる制御を、忠実に再現シミュレーションすることができる。また、装置間での用紙の受け渡し速度が複数ある場合にも対応することができるため、画像形成システムにおける搬送制御ソフトウェアの検証を高精度かつ効率よく行うことができる。<第2実施形態>第1実施形態では、現実の画像形成システムを構成する複数の装置における個々の用紙搬送制御をシミュレーションする複数の搬送シミュレータを1台のPC上で動作させていた。その場合、画像形成システムの規模が大きくなったときや画像形成システムを構成する装置の数が増えたときに、より多くの搬送シミュレーションを同時に動作させる必要が生じることがあり、必然的により高速、高価格なPCが必要となることがある。或いは、PCのスペックに合うようにシミュレーション動作/精度を落とす必要が生じることもある。そこで、本実施形態では、第1実施形態において1台のPC上で複数の搬送シミュレータを動作させる場合でも、個々の搬送シミュレータ間の連係動作はコマンド通信に基づいて処理されていた点に着目する。すなわち、本実施形態では、複数台のPCを使用して、搬送シミュレーションをPC連係で実行する。図10は、第2実施形態に係る設計支援システムの制御ブロック図であり、第1実施形態と同様に、給紙デッキ、プリンタ及びフィニッシャの3台の装置をシミュレートする搬送シミュレータ101~103で構成されている。本実施形態では、PC1において2つの搬送シミュレータ101,102が動作し、PC2において搬送シミュレータ103が動作する。搬送シミュレータ101,102間では、機内ネットワークを介して通信が可能となっている。また、搬送シミュレータ101,102と搬送シミュレータ103の間では、PC1,PC2に付随する汎用ネットワークI/F部104を介して通信が可能となっている。搬送シミュレータ101,102,103はそれぞれ、機構的に同一であり、第1実施形態で説明した搬送シミュレータ101,102,103と同一である。搬送シミュレータ101,102,103の構成及び搬送シミュレーションの態様制御フロー、タイミングシーケンス等もまた第1実施形態の場合と同じであり、既に説明済みであるので、ここでの説明を省略する。本実施形態に係る設計支援システムでも、現実の画像形成システムを構成する装置間で実際に用紙が跨がった状態や用紙を一時停止させる制御を、忠実に再現シミュレーションすることができる。また、装置間での用紙の受け渡し速度が複数ある場合にも対応することができるため、画像形成システムにおける搬送制御ソフトウェアの検証を高精度かつ効率よく行うことができる。<その他の実施形態>以上、本発明をその好適な実施形態に基づいて詳述してきたが、本発明はこれら特定の実施形態に限られるものではなく、この発明の要旨を逸脱しない範囲の様々な形態も本発明に含まれる。さらに、上述した各実施形態は本発明の一実施形態を示すものにすぎず、各実施形態を適宜組み合わせることも可能である。例えば、上記実施形態に係る設計支援システムは、画像形成装置である給紙デッキ給紙デバイス、プリンタ中間デバイス及びフィニッシャ排紙デバイスからなる画像形成システムを想定している。そのため、搬送シミュレータ101で給紙デバイス制御を、搬送シミュレータ102で中間デバイス制御を、搬送シミュレータ103で排紙デバイス制御をそれぞれシミュレーションするとした。しかしながら、実際の画像形成システムは、給紙デバイス/中間デバイス/排紙デバイスから成る3台構成に限定されるものではない。例えば、給紙デッキとプリンタとからなる給紙デバイスの場合、給紙デバイス排紙デバイスフィニッシャの構成が考えられる。また、給紙デッキを重連にした場合、給紙デバイス給紙デバイス中間デバイスプリンタ排紙デバイスフィニッシャ但し、上流側の給紙デバイスから給紙を行うのような4台以上から成る構成も考えられる。更に、これらの給紙デバイス/中間デバイス/排紙デバイスの定義は概念的であり、一時的なものでもあり、実際に用紙を給紙する給紙段の設定と用紙の排出先である排紙口の設定によって変化する。例えば、前述の給紙デッキを重連させた構成では、プリンタに接続される下流側の給紙デッキは、上流側の給紙デッキからの給紙が行われた場合には中間デバイスとなるが、下流側の給紙デバイスから給紙を行う場合には給紙デバイスとなる。また、フィニッシャを備えない構成であればプリンタは排紙デバイスとなり、給紙段がプリンタの給紙カセットである場合には、プリンタは、給紙デバイスかつ排紙デバイスとなる。したがって、実際の画像形成システムの構成に準じた搬送シミュレータから構成される設計支援システムを構築すればよい。また、上記実施形態では、搬送シミュレータ間での用紙の受け渡し情報の通信を所定間隔で行うようにしていたが、これに限られず、用紙が所定距離だけ進んだ時点で通信する構成とすることも可能である。本発明は以下の処理を実行することによっても実現される。即ち、上述した実施形態の機能を実現するソフトウェアプログラムをネットワーク又は各種記憶媒体を介してシステム或いは装置に供給し、そのシステム或いは装置のコンピュータ又はCPUやMPU等がプログラムコードを読み出して実行する処理である。この場合、そのプログラム、及び該プログラムを記憶した記憶媒体は本発明を構成することになる。"