画像形成に用いられる記録媒体が格納されている給紙部情報を含む情報であるジョブに基づいて画像を形成する画像形成装置であって、第一のジョブに基づいて作像し、前記第一のジョブに基づいて作像しているときに、第二のジョブに基づいて作像を開始する作像手段と、前記第一のジョブの給紙部情報が表す給紙部に記録媒体があるか否かを検出する検出手段と、前記検出手段によって、前記給紙部に記録媒体があることが検出された場合には、前記作像手段に前記第二のジョブに基づく作像を継続させ、前記給紙部に記録媒体がないことが検出された場合には、前記作像手段に前記第二のジョブに基づく作像を中断させる作像制御手段と、を有することを特徴とする画像形成装置。画像形成に用いられる記録媒体が格納されている給紙部情報を含む情報であるジョブに基づいて画像を形成する画像形成装置であって、前記ジョブに基づいて作像処理を要求する作像要求手段と、前記作像要求手段によって要求された作像処理にかかるジョブに基づいて給紙処理を要求する給紙要求手段と、前記作像要求手段から要求された作像処理にかかる第一のジョブに基づいて作像し、前記第一のジョブに基づいて作像しているときに前記作像要求手段から要求された作像処理にかかる第二のジョブに基づいて作像を開始する作像手段と、前記給紙要求手段から要求された給紙処理にかかる前記第一のジョブが表す給紙部に記録媒体があるか否かを検出する検出手段と、前記検出手段によって、前記給紙部に記録媒体があることが検出された場合には、前記作像手段に前記第二のジョブに基づく作像を継続させ、前記給紙部に記録媒体がないことが検出された場合には、前記作像手段に前記第二のジョブに基づく作像を中断させる作像制御手段と、を有することを特徴とする画像形成装置。請求項1または2に記載の画像形成装置であって、前記ジョブは、さらに属性情報を含む情報であり、前記第一のジョブに含まれる第一の属性情報と前記第二のジョブに含まれる第二の属性情報が同一であるかを判定する判定手段を有し、前記検出手段によって前記給紙部に記録媒体がないことが検出された場合には、前記判定手段が、前記第一の属性情報のいずれかと前記第二の属性情報のいずれかが同一であるかを判定し、前記判定手段によって、前記第一の属性情報と前記第二の属性情報が同一であると判定された場合には、前記作像制御手段が、前記作像手段に前記第二のジョブに基づく作像を中断させ、前記第一の属性情報と前記第二の属性情報が同一でないと判定された場合には、前記作像制御手段が、前記作像手段に前記第二のジョブに基づく作像を継続させることを特徴とする画像形成装置。請求項3に記載の画像形成装置であって、前記属性情報は、前記ジョブを前記画像形成装置に送信したユーザを一意に識別するユーザ識別情報を含むことを特徴とする画像形成装置。請求項3に記載の画像形成装置であって、前記属性情報は、前記ジョブにかかる作像で利用される記録媒体が排出される排出部を識別する排出部識別情報を含むことを特徴とする画像形成装置。請求項3に記載の画像形成装置であって、前記属性情報は、前記ジョブに対して前記画像形成装置が実行する機能を識別する機能識別情報を含むことを特徴とする画像形成装置。画像形成に用いられる記録媒体が格納されている給紙部情報を含む情報であるジョブに基づいて画像を形成する画像形成装置が実行する画像形成プログラムであって、前記画像形成装置が、第一のジョブに基づいて作像し、前記第一のジョブに基づいて作像しているときに、第二のジョブに基づいて作像を開始する作像工程と、前記第一のジョブの給紙部情報が表す給紙部に記録媒体があるか否かを検出する検出工程と、前記検出工程によって、前記給紙部に記録媒体があることが検出された場合には、前記作像工程に前記第二のジョブに基づく作像を継続させ、前記給紙部に記録媒体がないことが検出された場合には、前記作像工程に前記第二のジョブに基づく作像を中断させる作像制御工程と、をコンピュータに実行させることを特徴とする画像形成プログラム。しかしながら、上記のような技術を利用した画像形成装置では、先の作像処理が開始され、さらに後続の作像処理が開始された後に、先の給紙処理が開始されることになる。そのため、給紙処理が開始された時点で給紙トレイ等の給紙部に記録媒体が無かった場合、その時点で、後続するジョブに基づく作像処理は既に開始されてしまっていることになる。そして、この後続するジョブに対応する記録媒体があった場合、先の作像処理は中断される一方で、後続するジョブの作像処理は継続される。その結果、排紙トレイ等の排紙部には、先に開始されたジョブに基づいて画像形成された記録媒体は途中のページまでしか排出されていないにもかかわらず、後に開始されたジョブに基づいて画像形成された記録媒体が排出されてしまう。したがって、排紙トレイ等の排紙部には先のジョブによって画像形成された途中までの記録媒体と後のジョブによって画像形成された記録媒体が混在することになり、ユーザが混乱を催してしまうという課題が生じている。上記の課題を解決するため、請求項1にかかる発明は、ユーザからの指示による画像形成に用いられる記録媒体が格納されている給紙部情報を含む情報であるジョブに基づいて画像を形成する画像形成装置であって、第一のジョブに基づいて作像し、前記第一のジョブに基づいて作像しているときに、第二のジョブに基づいて作像を開始する作像手段と、前記第一のジョブの給紙部情報が表す給紙部に記録媒体があるか否かを検出する検出手段と、前記検出手段によって、前記給紙部に記録媒体があることが検出された場合には、前記作像手段に前記第二のジョブに基づく作像を継続させ、前記給紙部に記録媒体がないことが検出された場合には、前記作像手段に前記第二のジョブに基づく作像を中断させる作像制御手段と、を有することを特徴とする。また、請求項2にかかる発明は、ユーザからの指示による画像形成に用いられる記録媒体が格納されている給紙部情報を含む情報であるジョブに基づいて画像を形成する画像形成装置であって、前記ジョブに基づいて作像処理を要求する作像要求手段と、前記作像要求手段によって要求された作像処理にかかるジョブに基づいて給紙処理を要求する給紙要求手段と、前記作像要求手段から要求された作像処理にかかる第一のジョブに基づいて作像し、前記第一のジョブに基づいて作像しているときに前記作像要求手段から要求された作像処理にかかる第二のジョブに基づいて作像を開始する作像手段と、前記給紙要求手段から要求された給紙処理にかかる前記第一のジョブが表す給紙部に記録媒体があるか否かを検出する検出手段と、前記検出手段によって、前記給紙部に記録媒体があることが検出された場合には、前記作像手段に前記第二のジョブに基づく作像を継続させ、前記給紙部に記録媒体がないことが検出された場合には、前記作像手段に前記第二のジョブに基づく作像を中断させる作像制御手段と、を有することを特徴とする。また、請求項7にかかる発明は、ユーザからの指示による画像形成に用いられる記録媒体が格納されている給紙部情報を含む情報であるジョブに基づいて画像を形成する画像形成装置が実行する画像形成プログラムであって、前記画像形成装置が、第一のジョブに基づいて作像し、前記第一のジョブに基づいて作像しているときに、第二のジョブに基づいて作像を開始する作像工程と、前記第一のジョブの給紙部情報が表す給紙部に記録媒体があるか否かを検出する検出工程と、前記検出工程によって、前記給紙部に記録媒体があることが検出された場合には、前記作像工程に前記第二のジョブに基づく作像を継続させ、前記給紙部に記録媒体がないことが検出された場合には、前記作像工程に前記第二のジョブに基づく作像を中断させる作像制御工程と、をコンピュータに実行させることを特徴とする。以上説明したように、本発明によれば、先のジョブにかかる給紙部に記録媒体がないと判定された場合には、後に開始されたジョブに基づく作像は中断される。したがって、先のジョブに基づいて画像形成された一部の記録媒体だけが排出された後に、後に開始されたジョブに基づいて画像形成された記録媒体は排出されないため、異なるジョブによって画像形成された記録媒体が排紙部に混在することはなく、ユーザの混乱を防ぐことができるという効果を奏する。<<第一の実施形態の全体構成>>以下、図1乃至図8を用いて、本発明の第一の実施形態について説明する。<<第一の実施形態のハードウェア構成>>まず、本実施形態のハードウェア構成を説明する。図1は画像形成装置の一例である複合機のハードウェア構成図である。本実施形態の画像形成装置は制御部図示しない、プリンタ部3、給紙部4、及びスキャナ部5を有している。図2は本実施形態の画像形成装置が有している制御部のハードウェア構成図である。図2を用いて制御部のハードウェア構成を説明する。制御部は、CPUCentralProcessingUnit101、ROMReadOnlyMemory102、RAMRandomAccessMemory103、HDDHardDiscDrive104、HDHardDisc105、ネットワークI/FInterface106、及びバスライン107を有している。CPU101は画像形成装置全体の動作を制御する。ROM102にはシステム起動プログラムの情報などが格納されている。RAM103はCPU101が画像形成プログラムを実行するワーク用エリアとして使用される。HD105はデータを記憶する記憶装置であり、CD-ROMCompactDiscReadOnlyMemory、CD-RCompactDiscRecordable、DVDDigitalVersatileDisc等の外部記憶装置に代替可能である。ネットワークI/Fは、通信ネットワークを利用してデータ伝送をするためのものである。バスライン107は、上記各部を接続するためのものである。ROM102に記憶されている画像形成プログラムは、インストール可能な形式又は実行可能な形式のファイルでCD-ROM、CD-R、DVD等のコンピュータで読み取り可能な記憶媒体に記録して提供するように構成してもよい。ここで図1に戻って、プリンタ部3のハードウェア構成を説明する。プリンタ部3は、カートリッジ31、感光体ドラム32、帯電部33、現像部34、中間転写ベルト35、二次転写ローラ36、定着部37等を有している。カートリッジ31はイエローY、マゼンダM、シアンC、ブラックKの各トナーを収容しているものであり、各トナーの種類に対応した4つのカートリッジ31Y、31M、31C、31Kからなる。感光体ドラム32は、後述する帯電部33により表面が一様に帯電され、制御部から受け取った画像情報に基づき、表面に静電潜像が形成されるものである。更に、感光体ドラム32は、静電潜像が形成された表面に、後述する現像部34がトナーを付着させることによって、画像が形成されるものである。感光体ドラム32は、各トナーの種類に対応した4つの感光体ドラム32Y、32M、32C、32Kからなる。帯電部33は、感光体ドラム32に接触して電圧を印加することにより、感光体ドラム32の表面を帯電させるものであり、各トナーの種類に対応した5つの帯電部33Y、33M、33C、33Kからなる。現像部34は、カートリッジ31内のトナーを感光体ドラム32に付着させることにより、各感光体ドラム32の表面に画像を形成するものである。各トナーの種類に対応した4つの現像部34Y、34M、34C、34Kからなる。中間転写ベルト35は、感光体ドラム32に当接しながら搬送されることにより、その表面に画像が形成されるものである。また、表面に画像が形成された後、記録媒体にその画像を二次転写するものである。二次転写ローラ36は、給紙部4から搬送された記録媒体を、中間転写ベルト35との間に挟み込むことにより、中間転写ベルト35に形成された画像を記録媒体に二次転写し、画像が形成された記録媒体を定着部37に送るものである。定着部37は、二次転写ローラ36から送られた記録媒体に画像を定着させるものであり、加圧ローラ371、定着ベルト372等を有している。加圧ローラ371は、定着ベルト372との間に記録媒体を押し当て、熱を付与することにより、記録媒体に画像を定着させるものである。定着ベルト372は、加圧ローラ371との間に記録媒体を押し当てることにより、記録媒体に画像を定着させるものである。給紙部4は、用紙等の記録媒体をプリンタ部3に供給するものであり、複数の給紙トレイ41a、41b、41c、41d、複数の給紙ローラ42a、42b、42c、42d、およびレジストローラ43を有している。なお、以下では、給紙トレイ41a、41b、41c、41dのうち任意の給紙トレイは給紙トレイ41と表され、給紙ローラ42a、42b、42c、42dのうち任意の給紙ローラは給紙ローラ42と表されている。給紙トレイ41は、用紙等の記録媒体を収容するものである。給紙ローラ42は、給紙トレイ41に収容されている記録媒体を取り出し、レジストローラ43に差し入れるものである。レジストローラ43は、給紙ローラ42によって差し入れられた記録媒体を中間転写ベルト35と二次転写ローラ36との間に送り入れるものである。スキャナ部5は、用紙等に記載された画像情報を読み取るものであり、コンタクトガラス51、読取センサ52を有している。コンタクトガラス51は、画像が記載された用紙が載置されるものである。読取センサ52はコンタクトガラス51に載置されている用紙に記されている画像情報を読み取るものである。排紙部6a、6b、6cは、プリンタ部3で画像が形成され、排紙された記録媒体を格納するものである。なお、以下では、排紙部6a、6b、6cのうち任意の排紙部は排紙部6と表されている。<<第一の実施形態の機能構成>>図3は第一の実施形態の画像形成装置の機能構成を説明するための図である。図3に示されるように、第一の実施形態の画像形成装置は、受信部211、処理要求部212、判定部213、作像制御部214、記憶読出処理部219、作像部221、給紙状態検出部231、及び給紙部232を有している。これら各部は、図2に示されている各構成要素のいずれかが、ROM102に記憶されているプログラムに従ったCPU101からの命令によって動作することで実現される機能又は手段である。また、画像形成装置は、図2に示されているRAM103、HD105によって構築される記憶部2000を有している。受信部211は、図2に示されているネットワークI/F106によって実現され、情報処理装置等から送信された画像情報、給紙部情報及び属性情報を含むジョブを受信する。ここで、ジョブとは、ユーザが画像形成を指示するときに画像形成装置に送信する画像情報および属性情報を含むひとまとまりの情報である。また、ジョブは一以上のプロセスから構成される。そして、一プロセスごとに画像情報及び属性情報が対応している。なお、プロセスとは、画像形成装置において、作像から排紙までの一連の工程を1回行うことによって、画像が形成される単位であり、用紙1ページ分の印刷に相当する。また、画像情報とは、記録媒体に形成する画像を表す情報である。また、給紙部情報とは、画像形成に用いられる記録媒体としての用紙が格納されている給紙トレイ等の給紙部を表す情報である。また、属性情報とは、ジョブの性質を表す情報であり、ジョブを送信したユーザを識別するためのユーザ識別情報であるユーザIDIdentification、画像形成装置の機能プリント、ファクシミリ、複写等を識別するための機能識別情報である機能名、作像された記録媒体を格納する排紙部を表す排紙部情報のいずれか一以上を含む情報である。処理要求部212は、作像要求手段および給紙要求手段の一例であり、ROM102に記憶されているプログラムに従ったCPU101からの命令によって動作し、受信部211が受信したジョブに基づいて、作像部221、給紙状態検出部231にそれぞれ作像処理、給紙処理を要求するものである。判定部213は、判定手段の一例であり、ROM102に記憶されているプログラムに従ったCPU101からの命令によって動作し、属性情報、及び給紙部情報に基づいて給紙状態検出部231が検出した給紙状態に基づいて、作像部221の動作を判定するものである。作像制御部214は、作像制御手段の一例であり、ROM102に記憶されているプログラムに従ったCPU101からの命令によって動作し、判定部213で判定された結果に基づいて作像部221の動作を制御するものである。記憶読出処理部219は、ROM102に記憶されているプログラムに従ったCPU101からの命令によって動作するもので、記憶部2000に各種データを記憶したり、記憶部2000に記憶された各種データを読み出したりする。記憶部2000は、図2に示されるRAM103、HD105によって実現され、各種データを記憶する。記憶部2000には、ジョブ管理テーブルによって構成されているジョブ管理DBDatabase2001が構築されている。作像部221は、作像手段の一例であり、カートリッジ31、感光体ドラム32、帯電部33、現像部34、中間転写ベルト35、二次転写ローラ36、定着部37等によって実現され、画像情報に基づいて作像を行うものである。給紙状態検出部231は、検出手段の一例であり、処理要求部212から給紙要求を受け付けると、ジョブに含まれる給紙部情報が表す給紙トレイに記録媒体が格納されているか否かを判定する。給紙部232は、図1に示される給紙トレイ41、給紙ローラ42、レジストローラ43によって実現される。給紙部232は用紙等の記録媒体を格納するものであり、また、給紙状態検出部231によって記録媒体が格納されていることが判定されると作像部221に対して記録媒体を供給するものである。ジョブ管理テーブル記憶部2000には、図4に示されているようなジョブ管理テーブルによって構成されているジョブ管理DB2001が構築されている。このジョブ管理テーブルでは、ジョブを一意に識別するジョブIDに対してジョブを構成するプロセスを一意に識別するプロセスIDが関連付けられて記憶されている。さらに、プロセスIDに対して属性情報、給紙部情報および画像情報が関連付けられて記憶されている。属性情報には、ジョブによって印刷を要求したユーザを一意に識別するユーザ識別情報としてのユーザID、画像形成装置の有する機能を識別する機能識別情報としての機能名、排紙部6a、6b、6cのいずれかの排紙トレイを表す排紙部情報が含まれる。例えば、図4に示されているジョブ管理テーブルにおいて、ジョブID01に関連付けられてプロセスID001002003が記憶され、さらに、プロセスID001に対応して、ジョブID01、ユーザID1101、機能名プリント、排紙部情報排紙トレイa、給紙部情報給紙トレイaが記憶されていることを表している。<各機能部による処理のタイミング>ここで、作像部221、給紙状態検出部231、および給紙部232が処理を行うタイミングについて図5に示されるタイミングチャートを用いて説明する。なお、図5で示されている作像Yで示す時間軸のHigh信号はY色の画像を作像する処理が実施されていることを表しており、Low信号はY色の画像を作像する処理が実施されていないことを表している。同様に、作像M、作像C、作像Kで示す時間軸のHigh信号は、それぞれM色、C色、K色の画像を作像する処理が実施されていることを表しており、Low信号はそれぞれM色、C色、K色の画像を作像する処理が実施されていないことを表している。給紙状態検知、給紙で示す時間軸のHigh信号は給紙検知処理または給紙処理が実施されていることを表しており、Low信号は給紙検知処理、給紙処理処理のいずれも実施されていないことを表している。また、図5において、J1P1とは、ジョブID01プロセスID001に関連付けられている属性情報、給紙部情報、画像情報のいずれかに基づいてなされる処理であることを示している。同様に、J1P2、J1P3、J2P1とは、それぞれジョブID01プロセスID002、ジョブID01プロセスID003、ジョブID02プロセスID001に関連付けられている属性情報、給紙部情報、画像情報のいずれかに基づいてなされる処理であることを示している。また、作像部221、給紙状態検出部231、および給紙部232の具体的な処理の内容に関しては、追って、<<第一の実施形態の処理動作>>、<<第二の実施形態の処理動作>>にて説明する。上記<<第一の実施形態のハードウェア構成>>で説明したとおり、カラー画像形成装置の作像部221は、カートリッジ31、感光体ドラム32、帯電部33、現像部34等を含む現像ユニット4つから構成されている。そのため、その作像処理にかかる時間は、現像ユニットを1つしか有していない従来のモノクロ専用の画像形成装置が実行する作像処理にかかる時間に比べ、長くなってしまうことになる。そのことによって、給紙処理は作像処理の後から開始されることを説明する。まず、作像部221は、ジョブID01プロセスID001に対応付けられている画像情報を用いて、時刻t11ysに、Y色の現像ユニットによる作像処理を開始し、時刻t11yeで作像処理を完了させる。時刻t11ysより後の時刻t11msで、作像部221がM色の現像ユニットを用いた作像処理を開始し、時刻t11meで作像処理を完了する。作像部221は、同様にC色、K色の現像ユニットを用いて作像処理を実施する。一方、4色全ての現像ユニットによる作像が終わるタイミングに間に合って、二次転写位置に用紙が運ばれるように、時刻t11Psで給紙状態検出部231が給紙状態を検出し、用紙があれば、時刻t11P’sで給紙部232が給紙処理を開始する。次に、ジョブID01プロセスID002に関して、時刻t11yeより後の時刻t12ysに、作像部221は作像処理を開始し、時刻t12yeに作像処理を完了する。他の色に関しても同様である。また、4色全ての現像ユニットによる作像が終わるタイミングに間に合って二次転写位置に用紙が運ばれるように、時刻t12Psで給紙状態検出部231が給紙状態を検出し、用紙があることが検出されれば、時刻t12P’sで給紙部232が給紙処理を開始する。ただし、既に給紙処理が開始されているジョブID01プロセスID001の印刷に用いられる用紙が、レジストローラ43の位置にまだ待機している場合には、給紙状態検出部231、給紙部232はジョブID01プロセスID002に関するそれぞれの処理を実施せず、ジョブID01プロセスID001の印刷で用いられる用紙が二次転写位置に差し入れられた後で、給紙状態検出部231、給紙部232はジョブID01プロセスID002に関するそれぞれの処理を実施する。このようなタイミングで作像処理、給紙処理を実施すると、時刻t12PsにジョブID01プロセスID002の給紙を開始するために給紙状態を検出したとき、後続するジョブID01プロセスID003、ジョブID02プロセスID001に関する作像は既に開始されている。ところで、この時刻t12Psで、ジョブID01プロセスID002に対応する給紙トレイに用紙がないと検出された場合、従来の方法では、ジョブID02プロセスID001に対応する給紙部情報が表す給紙トレイに用紙があれば、これらの作像処理および給紙処理は継続され、印刷が完了する。これによって、ジョブID01プロセスID001の印刷物、ジョブID02プロセスID001の印刷物の順に排紙トレイに排出されることになる。つまり、ジョブID01プロセスID002、ジョブID01プロセスID003の印刷物がなく、以降のジョブによって生成される印刷物が排紙されている状態になる。したがって、ユーザは自分が要求した印刷の途中一部だけが欠けた印刷物が排紙トレイに提供されている状態となり、混乱することになる。<<第一の実施形態の処理動作>>続いて、図6乃至図9を用いて、第一の実施形態に係る画像形成装置における処理を説明する。図6はジョブを管理するための処理を表した処理フロー図である。図7は、画像形成装置の処理を表した処理フロー図である。図8は、作像部221の処理の詳細を表した処理フロー図である。図9は、給紙部232の処理の詳細を表した処理フロー図である。図6に示されるように、受信部211が、ネットワーク等を経由して情報処理装置等から送信されたジョブ、または、スキャナ部5とタッチパネル等の操作部不図示から入力されたジョブを受信するステップS1。次に、記憶読出処理部219が、ステップS1で受信したジョブに含まれるプロセスに属性情報、給紙部情報および画像情報を関連付けてジョブ管理DB2001に記憶させるステップS2。このようにジョブ管理DB2001にジョブが記憶されている状態で、図7に示されるように、記憶読出処理部219がジョブ管理DB2001に記憶されている所定のジョブに含まれるプロセスに関連付けられて記憶されている属性情報、給紙部情報および画像情報を読み出すステップS311。所定のジョブとは、ジョブ管理DB2001に記憶されているジョブのうち、予め決められた方法によって読み出されるものとし、たとえば、最も早く記憶されたジョブとしてもよいし、予め定められた優先度の高いジョブとしてもよい。ここでは、図4に表されるジョブ管理テーブルに記憶されているジョブID01の属性情報、給紙部情報および画像情報が読み出されるものとして、以降の処理を説明する。ステップS311でジョブが読み出されると、処理要求部212が、読み出されたジョブID01に関連付けられて記憶されているプロセスID001、プロセスID002、プロセスID003、およびそれらのプロセスIDに対応する画像情報を作像部221に送り、作像処理を要求するステップS312。また、処理要求部212は、読み出されたジョブに関連付けられて記憶されているプロセスが表す給紙部情報を給紙状態検出部231に送信し、給紙処理を要求するステップS313。ステップS312で、処理要求部212によって作像処理が要求されると、作像部221は、まずジョブID01プロセスID001に対応する画像情報を用いて作像処理を開始するステップS314。ここで、ステップS314で、作像部221が実施する作像処理について図8を用いて説明する。まず、作像部221を構成する帯電部33Yが、感光体ドラム32Yに接触して電圧を印加し、感光体ドラム32Yの表面を帯電させるステップS3141。そして、不図示の露光装置から発せられたレーザ光が処理要求部212から送信された画像情報に基づいて、感光体ドラム32Yの表面に静電潜像を形成するステップS3142。そして、現像部34Yが、静電潜像が形成された感光体ドラム32Yの表面にカートリッジ31Yのトナーを付着させることによって、感光体ドラム32の表面に画像を形成するステップS3143。同様にして、帯電部33M、33C、33K、現像部34M、34C、34Kについても、それぞれ感光体ドラム32M、32C、32K、の表面に画像を形成する。続いて、中間転写ベルト35が、感光体ドラム32に当接しながら搬送される。これによって、感光体ドラム32の表面に形成された画像が中間転写ベルト35に一次転写されるステップS3144。そして、画像が一次転写された中間転写ベルト35は、二次転写位置まで搬送されるステップS3145。プロセスID001に対応する画像情報を用いた作像処理が全て完了するのを待たずに、作像部221が次のプロセス002に対応する画像情報を用いた作像処理を開始する。具体的には、プロセスID001にかかる作像処理での中間転写ベルト35が所定の位置まで搬送されたときに、作像部221はプロセスID002にかかる作像処理を開始する。機器の構造により、効率的に連続して作像できるようにプロセスID002にかかる作像処理が開始されるようにすることが好適である。プロセスID002に対応する画像情報を用いた作像処理は上述のステップS3141からステップS3145までと同様であるため、その説明を割愛する。さらに、このプロセスID002に対応する画像情報を用いた作像処理の全てが完了するのを待たずに、プロセスID003にかかる作像処理が開始される。プロセスID003に対応する画像情報を用いた作像処理も、上述のステップS3141からステップS3145までと同様であるため、その説明を割愛する。そして、ジョブIDに含まれる最後のプロセスであるプロセスID003に基づいた作像処理が開始されたら、それが完了するのを待たずに、次のジョブであるジョブID02が含むプロセスに対応付けられている画像情報を用いた作像処理が開始される。図7に戻って、上記のステップS314で開始された作像処理が実行されているときに、判定部213は、後述する給紙状態検出処理の結果に基づいて、作像処理を中断するよう要求する中断要求があるか否かを判定しているステップS319。ここで、給紙状態検出処理について、詳細を説明する。ステップS313で、処理要求部212が、ジョブに関連付けられて記憶されている各プロセスの給紙部情報を給紙状態検出部231に送信し、給紙状態を検出する処理を要求すると、給紙状態検出部231は、そのジョブに含まれるプロセスのうち最も小さいプロセスIDに対応している給紙トレイに用紙があるか否かを検出するステップS315。具体的には、図4に表されているジョブ管理テーブルのプロセスID001に関連付けられている給紙部情報給紙トレイaが表す給紙トレイ41aに用紙があるか否かを検出する。ステップS315で、給紙トレイ41aに用紙があると検出されると、給紙部232は、ジョブID01プロセスID001の印刷に用いる用紙を給紙する給紙処理を実施するステップS316。図9に示されるように、給紙部232を実現する給紙ローラ42aは、給紙トレイ41aに収容されている用紙を取り出しステップS3161、レジストローラ43に差し入れるステップS3162。差し入れられた用紙は、中間転写ベルト35の画像が一次転写されている部分が二次転写ローラ36に当接する二次転写位置に到着するステップS3163ときに、レジストローラ43によって中間転写ベルト35と二次転写ローラ36の間に送り入れられ、二次転写位置へ搬送されるステップS3164。中間転写ベルト35の画像が一次転写されている部分がまだ二次転写位置に到着していないときは、差し入れられた用紙は、中間転写ベルト35の画像が一次転写されている部分が二次転写ローラ36に当接する二次転写位置に到着するまでその位置で静止するステップS3165。ステップS3164で、給紙部232が用紙を二次転写位置に送り入れることによって、プロセスID001に関する給紙処理を完了すると、給紙状態検出部231は、プロセスID001の次のプロセスIDに対応している給紙情報が示す給紙トレイに用紙があるか否かを検出するステップS315。具体的には、図4に表されているジョブ管理テーブルのプロセスID002に関連付けられている給紙部情報給紙トレイbが表す給紙トレイ41bに用紙があるか否かを検出する。なお、ステップS315でジョブID01プロセスID002の印刷に用いる用紙の給紙状態を検出するときには、ジョブID01プロセスID003、ジョブID02プロセスID001にかかる作像処理は既に開始されている。上記<各機能部による処理のタイミング>で説明したように、作像処理にかかる時間よりも給紙処理にかかる時間が長いこと、ジョブID01プロセスID003、ジョブID02プロセスID001にかかる作像処理はジョブID01プロセスID002にかかる作像処理が完了する前に開始される一方、ジョブID01プロセスID003、ジョブID02プロセスID001にかかる給紙処理はジョブID01プロセスID002にかかる給紙処理が完了してから開始されるものであること、によるものである。ステップS315で、プロセスID002に対応する給紙部情報給紙トレイbが示す給紙トレイ41bに用紙があることが検出されると、給紙部232は、ジョブID01プロセスID002の印刷に用いる用紙を給紙する給紙処理を実施するステップS316。この給紙処理の詳細は、上記のジョブID01プロセスID001にかかる給紙処理と同様であるため、説明を割愛する。ここで、ステップS315の給紙状態検出処理によって、用紙がないことが検出された場合の処理について説明する。具体例として、ジョブID01プロセスID002に対応する給紙部情報に基づいて、給紙状態検出処理を実行したところ、給紙部情報給紙トレイbが表す給紙トレイ41bに用紙がなかった場合の処理を説明する。このような場合、作像制御部214は、作像部221にプロセスID002、および既に開始されているジョブID01プロセスID003、ジョブID02プロセスID001に関する作像処理を中断するよう中断要求を判定部213に送信するステップS318。判定部213が中断要求を受けた場合、作像制御部214は作像部221にプロセスID002、および既に開始されているジョブID01プロセスID003、ジョブID02プロセスID001に関する作像処理を中断させるステップS323。ここで、S319で中断要求を受けなかった場合について説明する。この場合は、作像処理を終えた後、ステップS316の給紙処理によって中間転写ベルト35上に搬送された用紙に画像が二次転写されるステップS320。次に、加圧ローラ371が、定着ベルト372との間に用紙を押し当て、熱を付与することにより、用紙に画像を定着させるステップS321。最後に、画像が定着された用紙は排紙トレイに排出されるステップS322。<<第一の実施形態の主な効果>>先のジョブにかかる給紙トレイに用紙がないことが検出された場合には、後に開始されたプロセスまたはジョブに基づく作像は中断され、途中まで印刷された印刷物の直後に、後続するジョブに基づく印刷は行われないため、排紙トレイに印刷物が混在することによるユーザの混乱を防ぐことができるという効果を奏する。<<第二の実施形態>>本発明の第二の実施形態について説明する。第二の実施形態が第一の実施形態と異なる点は、給紙状態検出処理で用紙がないことが検出された場合に、判定部213が、既に開始されている後続のジョブに関する作像処理を中断するか否かを属性情報に基づいて判定する処理を実施することである。第二の実施形態の全体構成、第二の実施形態のハードウェア構成、第二の実施形態の機能構成は、それぞれ第一の実施形態の全体構成、第一の実施形態のハードウェア構成、第一の実施形態の機能構成と同様であるので、それらの説明を省略する。<<第二の実施形態の処理動作>>続いて、図6、図8乃至図11を用いて、本発明の第二の実施形態の処理動作について説明する。図10は、第二の実施形態の画像形成装置の処理を表し処理フロー図である。図11は、判定部213の処理を表した処理フロー図である。図6に示されるように、受信部211が、ネットワーク等を経由して情報処理装置等から送信されたジョブ、または、スキャナ部5とタッチパネル等の操作部不図示から入力されたジョブを受信するステップS1。次に、記憶読出処理部219が、ステップS1で受信したジョブに含まれるプロセスに属性情報、給紙部情報および画像情報を関連付けてジョブ管理DB2001に記憶させるステップS2。このようにジョブ管理DB2001にジョブが記憶されている状態で、図10に示されるように、記憶読出処理部219がジョブ管理DB2001に記憶されている所定のジョブに含まれるプロセスに関連付けられて記憶されている属性情報、給紙部情報および画像情報を読み出すステップS331。所定のジョブとは、ジョブ管理DB2001に記憶されているジョブのうち、予め決められた方法によって読み出されるものとし、たとえば、最も早く記憶されたジョブとしてもよいし、予め定められた優先度の高いジョブとしてもよい。ここでは、図4に表されるジョブ管理テーブルに記憶されているジョブID01の属性情報、給紙部情報および画像情報が読み出されるものとして、以降の処理を説明する。ステップS331でジョブが読み出されると、処理要求部212が、読み出されたジョブID01に関連付けられて記憶されているプロセスID001、プロセスID002、プロセスID003、およびそれらのプロセスIDに対応する画像情報を作像部221に送り、作像処理を要求するステップS332。また、処理要求部212は、読み出されたジョブに関連付けられて記憶されているプロセスが表す給紙部情報を給紙状態検出部231に送信し、給紙処理を要求するステップS333。ステップS332で、処理要求部212によって作像処理が要求されると、作像部221は、まずジョブID01プロセスID001に対応する画像情報を用いて作像処理を開始するステップS334。ここで、ステップS334で、作像部221が実施する作像処理について図8を用いて説明する。まず、作像部221を構成する帯電部33Yが、感光体ドラム32Yに接触して電圧を印加し、感光体ドラム32Yの表面を帯電させるステップS3141。そして、不図示の露光装置から発せられたレーザ光が処理要求部212から送信された画像情報に基づいて、感光体ドラム32Yの表面に静電潜像を形成するステップS3142。そして、現像部34Yが、静電潜像が形成された感光体ドラム32Yの表面にカートリッジ31Yのトナーを付着させることによって、感光体ドラム32の表面に画像を形成するステップS3143。同様にして、帯電部33M、33C、33K、現像部34M、34C、34Kについても、それぞれ感光体ドラム32M、32C、32K、の表面に画像を形成する。続いて、中間転写ベルト35が、感光体ドラム32に当接しながら搬送される。これによって、感光体ドラム32の表面に形成された画像が中間転写ベルト35に一次転写されるステップS3144。そして、画像が一次転写された中間転写ベルト35は、二次転写位置まで搬送されるステップS3145。プロセスID001に対応する画像情報を用いた作像処理が全て完了するのを待たずに、作像部221が次のプロセス002に対応する画像情報を用いた作像処理を開始する。具体的には、プロセスID001にかかる作像処理での中間転写ベルト35が所定の位置まで搬送されたときに、作像部221はプロセスID002にかかる作像処理を開始する。機器の構造により、効率的に連続して作像できるようにプロセスID002にかかる作像処理が開始されるようにすることが好適である。プロセスID002に対応する画像情報を用いた作像処理は上述のステップS3141からステップS3145までと同様であるため、その説明を割愛する。さらに、このプロセスID002に対応する画像情報を用いた作像処理の全てが完了するのを待たずに、プロセスID003にかかる作像処理が開始される。プロセスID003に対応する画像情報を用いた作像処理も、上述のステップS3141からステップS3145までと同様であるため、その説明を割愛する。そして、ジョブIDに含まれる最後のプロセスであるプロセスID003に基づいた作像処理が開始されたら、それが完了するのを待たずに、次のジョブであるジョブID02が含むプロセスに対応付けられている画像情報を用いた作像処理が開始される。図10に戻って、上記のステップS334で開始された作像処理が実行されているときに、後述する給紙状態検出処理の結果に基づいて、作像処理を中断するよう要求する中断要求があるか否かを判定しているステップS342。ここで、給紙状態検出処理について、詳細を説明する。ステップS333で、処理要求部212が、ジョブに関連付けられて記憶されている各プロセスが表す給紙部情報を給紙状態検出部231に送信し、給紙状態を検出する処理を要求すると、給紙状態検出部231は、そのジョブに含まれるプロセスのうち最も小さいプロセスIDに対応している給紙トレイに用紙があるか否かを検出するステップS335。具体的には、図4に表されているジョブ管理テーブルのプロセスID001に関連付けられている給紙部情報給紙トレイaが表す給紙トレイ41aに用紙があるか否かを検出する。ステップS335で、給紙トレイ41aに用紙があると検出されると、給紙部232は、ジョブID01プロセスID001の印刷に用いる用紙を給紙する給紙処理を実施するステップS336。図9に示されるように、給紙部232を実現する給紙ローラ42aは、給紙トレイ41aに収容されている用紙を取り出しステップS3161、レジストローラ43に差し入れるステップS3162。差し入れられた用紙は、中間転写ベルト35の画像が一次転写されている部分が二次転写ローラ36に当接する二次転写位置に到着するステップS3163ときに、レジストローラ43によって中間転写ベルト35と二次転写ローラ36の間に送り入れられ、二次転写位置へ搬送されるステップS3164。中間転写ベルト35の画像が一次転写されている部分がまだ二次転写位置に到着していないときは、差し入れられた用紙は、中間転写ベルト35の画像が一次転写されている部分が二次転写ローラ36に当接する二次転写位置に到着するまでその位置で静止するステップS3165。ステップS3164で、給紙部232が用紙を二次転写位置に送り入れることによって、プロセスID001に関する給紙処理を完了すると、給紙状態検出部231は、プロセスID001の次のプロセスIDに対応している給紙情報が示す給紙トレイに用紙があるか否かを検出する図10のステップS335。具体的には、図4に表されているジョブ管理テーブルのプロセスID002に関連付けられている給紙部情報給紙トレイbが表す給紙トレイ41bに用紙があるか否かを検出する。なお、ステップS335でジョブID01プロセスID002の印刷に用いる用紙の給紙状態を検出するときには、ジョブID01プロセスID003、ジョブID02プロセスID001にかかる作像処理は既に開始されている。上記<各機能部による処理のタイミング>で説明したように、作像処理にかかる時間よりも給紙処理にかかる時間が長いこと、ジョブID01プロセスID003、ジョブID02プロセスID001にかかる作像処理はジョブID01プロセスID002にかかる作像処理が完了する前に開始される一方、ジョブID01プロセスID003、ジョブID02プロセスID001にかかる給紙処理はジョブID01プロセスID002にかかる給紙処理が完了してから開始されるものであることによるものである。ステップS335で、プロセスID002に対応する給紙部情報給紙トレイbが示す給紙トレイ41bに用紙があることが検出されると、給紙部232は、ジョブID01プロセスID002の印刷に用いる用紙を給紙する給紙処理を実施するステップS336。この給紙処理の詳細は、上記のジョブID01プロセスID001にかかる給紙処理と同様であるため、説明を割愛する。ここで、ステップS335の給紙状態検出処理によって、用紙がないことが検出された場合の処理について説明する。具体例として、ジョブID01プロセスID002に対応する給紙部情報に基づいて、給紙状態検出部231が、給紙状態検出処理を実行したところ、給紙部情報給紙トレイbが表す給紙トレイ41bに用紙がなかった場合の処理を説明する。このような場合、判定部213は、ジョブID01プロセスID002の作像処理開始以降に既に作像処理が開始されているジョブID01の他のプロセスがあるか否かを判定するステップS337。ステップS337で、他のプロセスがあると判定された場合には、判定部213はそのプロセスを中断するための中断要求を作像制御部214に送信するステップS338。そして、中断要求を受信した作像制御部214はそのプロセスに基づく作像処理を作像部221に中断させるステップS346。判定部213によって作像処理開始以降に既に作像処理が開始されているジョブID01の他のプロセスがないと判定されるまで、ステップS337およびステップS338の処理が繰り返される。ステップS337で、ジョブID001の他のプロセスがないと判定された場合には、判定部213は、ジョブID01プロセスID002の作像処理開始以降に既に作像処理が開始されている他のジョブがあるか否かを判定するステップS339。ステップS339で、他のジョブがないと判定された場合には、判定部213は判定処理を終了する。ステップS339で、他のジョブがあると判定された場合には、既に作像処理が開始されている他のジョブのジョブID02の属性情報に基づいて、判定部213が属性情報判定処理を行い、作像処理を中断するか否かを判定するステップS340。ここで、ステップS340の属性情報判定処理の詳細について、図111を用いて説明する。図111に示されるように、まず、判定部213は、ジョブID02に対応する属性情報に含まれるユーザIDが、ジョブID01に対応するユーザIDと同一であるか否かを判定するステップS34011。ステップS34011の判定で、ジョブID02に対応するユーザIDが、ジョブID01に対応するユーザIDと同一であると判定された場合、判定部213はジョブID02に基づく作像処理を中断させるとしてステップS3402、判定処理を終了する。そして、判定部213は、中断要求を作像制御部214に送信し図10のステップS341、中断要求を受信した作像制御部214はジョブID02の作像処理を、作像部221に中断させるステップS346。ステップS34011の判定で、ジョブID02に対応するユーザIDが、ジョブID01に対応するユーザIDと同一でないと判定された場合、判定部213は、ジョブID02に基づく作像処理を中断させないとしてステップS3403、判定処理を終了する。このとき、作像部221は前述の作像処理を継続する。なお、判定部213によって既に作像処理が開始されている他のジョブがないと判定されるまで、ステップS339乃至ステップS341の処理が繰り返される。作像部221による作像処理が完了すると、図10に示されるように、ステップS336の給紙処理によって中間転写ベルト35上に搬送された用紙に、中間転写ベルト35に一次転写された画像が二次転写されるステップS343。次に、加圧ローラ371が、定着ベルト372との間に用紙を押し当て、熱を付与することにより、用紙に画像を定着させるステップS344。最後に、画像が定着された用紙は排紙トレイに排出されるステップS345。<<第二の実施形態の主な効果>>先のジョブに基づく印刷に要する用紙が給紙トレイにないことが検出された場合にも、後に開始されたジョブのユーザIDが先に開始されたジョブのユーザIDと異なるものであれば、後に開始されたジョブに基づく印刷を中断させずに、継続させることによって、ユーザは混乱することなく印刷物を早く入手することができるという効果を奏する。<<実施形態の補足>>上記第二の実施形態では、ステップS34011で、判定部213はユーザ名が同一であるか否かを判定しているが、図112のステップS34012に示されるように機能名が同一であるか否かを判定してもよい。これによって、プリント機能を用いるジョブが実行されている際に用紙切れが発生しても、複写機能による後続のジョブを継続させることができるので、複写機能によって生成された印刷物を早く入手することができ、ユーザにとっての利便性が高まる。また、図113のステップS34013に示されるように判定部213は排紙部情報が同一であるか否かを判定してもよい。これによって、先に開始されたジョブが実行されている際に用紙切れが発生しても、後に開始されたジョブが排紙先の異なるものであれば、印刷物が混在して排紙トレイに排出されることはなく、また、ユーザは後に開始されたジョブによる印刷物を早く入手することができるため、ユーザにとっての利便性が高まる。また、ユーザ名、機能名、排紙部情報のうちいずれの属性情報で判定するかは、所定の条件によって決定されるとしてもよい。