特許 6566301 車両通過判定装置、車両検知システム及びプログラム

(19)【発行国】日本国特許庁(JP)

(12)【公報種別】特許公報(B2)

(11)【特許番号】6566301

(24)【登録日】2019年8月9日

(45)【発行日】2019年8月28日

(54)【発明の名称】車両通過判定装置、車両検知システム及びプログラム

(51)【国際特許分類】

   G07B 15/00 20110101AFI20190819BHJP

【ＦＩ】

   G07B15/00 510

【請求項の数】5

【全頁数】36

(21)【出願番号】特願2015-96879(P2015-96879)

(22)【出願日】2015年5月11日

(65)【公開番号】特開2016-212700(P2016-212700A)

(43)【公開日】2016年12月15日

【審査請求日】2018年5月7日

【新規性喪失の例外の表示】特許法第３０条第２項適用 平成２６年１２月６日、日本大学理工学部ウェブサイト 平成２６年１２月６日、平成２６年度第５８回日本大学理工学部学術講演会 平成２６年１２月１日、平成２６年度第５８回日本大学理工学部学術講演会予稿集 平成２７年２月６日、電子情報通信学会２０１５年総合大会ウェブサイト 平成２７年３月１１日、電子情報通信学会２０１５年総合大会 平成２７年２月２４日、電子情報通信学会２０１５年総合大会講演論文集 平成２７年３月２５日、平成２６年度日本大学大学院理工学研究科修士論文要旨集 平成２７年２月２３日、平成２６年度日本大学大学院理工学研究科（情報科学専攻）修士論文審査会

(73)【特許権者】

【識別番号】899000057

【氏名又は名称】学校法人日本大学

(73)【特許権者】

【識別番号】505389695

【氏名又は名称】首都高速道路株式会社

(73)【特許権者】

【識別番号】509049090

【氏名又は名称】首都高ＥＴＣメンテナンス株式会社

(74)【代理人】

【識別番号】100161207

【弁理士】

【氏名又は名称】西澤 和純

(74)【代理人】

【識別番号】100175824

【弁理士】

【氏名又は名称】小林 淳一

(74)【代理人】

【識別番号】100126882

【弁理士】

【氏名又は名称】五十嵐 光永

(74)【代理人】

【識別番号】100064908

【弁理士】

【氏名又は名称】志賀 正武

(72)【発明者】

【氏名】泉 隆

(72)【発明者】

【氏名】岡村 直樹

(72)【発明者】

【氏名】高橋 友彰

(72)【発明者】

【氏名】及川 宗敏

(72)【発明者】

【氏名】佐々木 剛

(72)【発明者】

【氏名】若山 佳之

(72)【発明者】

【氏名】荒川 友理

(72)【発明者】

【氏名】山内 伸一郎

【審査官】 渡邉 洋

(56)【参考文献】

【文献】 特開２００３−１６８１４１（ＪＰ，Ａ）

【文献】 特開２００３−２２８７４７（ＪＰ，Ａ）

【文献】 特開平０８−２６３７８８（ＪＰ，Ａ）

【文献】 特開平０６−１４９７７４（ＪＰ，Ａ）

【文献】 特開平１０−１６２１１５（ＪＰ，Ａ）

【文献】 特開平１１−３０６４８３（ＪＰ，Ａ）

【文献】 特開２００１−１７５９８９（ＪＰ，Ａ）

【文献】 特開２００５−１８２６３１（ＪＰ，Ａ）

【文献】 特開２００９−１４０３４３（ＪＰ，Ａ）

【文献】 特開２０１３−１８２３１９（ＪＰ，Ａ）

【文献】 米国特許出願公開第２０１３／０１６２４４８（ＵＳ，Ａ１）

【文献】 特開平１０−３１２２１７（ＪＰ，Ａ）

【文献】 特開２００７−２６９２４０（ＪＰ，Ａ）

(58)【調査した分野】（Int.Cl.，ＤＢ名）

Ｇ０７Ｂ１５／００−１５／０６

Ｇ０８Ｇ １／００− １／１６

Ｇ０６Ｑ５０／００−５０／３４

(57)【特許請求の範囲】

【請求項1】

車両の通過方向に複数並べられた検出器がそれぞれ出力する車両の有無を示す検出結果を取得する取得部と、
前記検出器が並べられている順序に基づく情報であって、前記検出結果の組み合わせの遷移が、正常であるか異常であるかをペトリネットによって示す遷移情報が、予め記憶されている記憶部と、
前記取得部が取得した前記検出結果と、前記記憶部に記憶されている前記遷移情報とに基づいて、通過する車両ごとにトークンを割り当て、前記ペトリネット上において車両を前記トークンとして示すことにより、前記検出結果の組み合わせが正常遷移であるか、異常遷移であるかを、通過する車両ごとに判定する判定部と、
前記判定部による判定結果を出力する出力部と、
を備えることを特徴とする車両通過判定装置。

【請求項2】

前記遷移情報とは、複数並べられた前記検出器の互いの距離に更に基づく情報である
ことを特徴とする請求項１に記載の車両通過判定装置。

【請求項3】

前記遷移情報とは、車両の有無を示す前記検出結果によって、車両有り又は無しの状態が継続して検出されている時間に更に基づく情報である
ことを特徴とする請求項１又は請求項２に記載の車両通過判定装置。

【請求項4】

請求項１から請求項３のいずれか一項に記載の車両通過判定装置と、
前記出力部が出力する前記判定結果を示す情報を示す表示装置と、
を備えることを特徴とする車両検知システム。

【請求項5】

ペトリネットによって構成され、検出結果の基準を示す情報である遷移情報が予め記憶されている記憶部を備える車両通過判定装置のコンピュータに、
車両の通過方向に複数並べられた検出器がそれぞれ出力する車両の有無を示す検出結果を取得する取得ステップと、
前記取得ステップにおいて取得された前記検出結果と、前記遷移情報とに基づいて、通過する車両ごとにトークンを割り当て、前記ペトリネット上において車両を前記トークンとして示すことにより、前記検出結果の組み合わせが正常遷移であるか、異常遷移であるかを、通過する車両ごとに判定する判定ステップと、
前記判定ステップによる判定結果を出力する出力ステップと
を実行させるための車両通過判定プログラム。

【発明の詳細な説明】

【技術分野】

【0001】

本発明は、車両通過判定装置、車両検知システム及びプログラムに関する。

【背景技術】

【0002】

近年、自動車有料道路における利用料金の徴収には、ノンストップ自動料金支払いシステム（以下、ＥＴＣシステム：Ｅｌｅｃｔｒｏｎｉｃ Ｔｏｌｌ Ｃｏｌｌｅｃｔｉｏｎ Ｓｙｓｔｅｍ）が使用されている。ＥＴＣシステムは、ＥＴＣ車載器を備えた車両と、車線の上部に設置されたアンテナとが通信を行うことにより、車両が停止することなく利用料金を徴収する。

【0003】

このようなＥＴＣシステムでは、車両を検出する検出器が、料金徴収車線の上部に間隔を開けて複数設置されている。従来のＥＴＣシステムは、料金徴収車線の通過方向と逆行している車両を、検出器が検出した場合には、料金所のゲートを閉じて車両の運転者に停止を促す情報を表示機に明示する制御を行うものがある（例えば、特許文献１を参照。）。

【先行技術文献】

【特許文献】

【0004】

【特許文献1】特開２００６−９２２８４号公報

【発明の概要】

【発明が解決しようとする課題】

【0005】

ここで、ＥＴＣシステムには、車両の逆行などの異常状態を検出するものがある。この異常状態を検出する場合、ＥＴＣシステムが複数の検出器を備え、これら複数の検出器による検出結果の組み合わせによって、正常状態と、異常状態とを判別することにより、検出する場合がある。しかしながら、これら複数の検出器による検出結果の組み合わせは多岐にわたる場合があり、このような場合、異常状態を判定するための設計や、その検証が煩雑になることがある。すなわち、複数の車両検出器を備えるＥＴＣシステムでは、異常状態を判定するための設計作業及び設計の検証作業が煩雑になる、という問題があった。

【0006】

本発明は、ＥＴＣシステムの設計作業及び設計の検証作業が煩雑になる程度を低減することを目的とする。

【課題を解決するための手段】

【0007】

本発明の一実施形態は、車両の通過方向に複数並べられた検出器がそれぞれ出力する車両の有無を示す検出結果を取得する取得部と、前記検出器が並べられている順序に基づく情報であって、前記検出結果の組み合わせの遷移が、正常であるか異常であるかをペトリネットによって示す遷移情報が、予め記憶されている記憶部と、前記取得部が取得した前記検出結果と、前記記憶部に記憶されている前記遷移情報とに基づいて、通過する車両ごとにトークンを割り当て、前記ペトリネット上において車両を前記トークンとして示すことにより、前記検出結果の組み合わせが正常遷移であるか、異常遷移であるかを、通過する車両ごとに判定する判定部と、前記判定部による判定結果を出力する出力部と、を備えることを特徴とする車両通過判定装置である。

【発明の効果】

【0008】

本発明によれば、ＥＴＣシステムの設計作業及び設計の検証作業が煩雑になる程度を低減することができる車両通過判定装置、及びそのプログラムを提供できる。

【図面の簡単な説明】

【0009】

【図1】第１の実施形態に係る車両検知システムの構成の概要を示す模式図である。

【図2】第１の実施形態に係る遷移情報の一例を示す状態遷移図である。

【図3】第１の実施形態に係る車両検知システムの構成の一例を示す概要図である。

【図4】第１の実施形態に係る車両通過判定装置の動作の一例を示す流れ図である。

【図5】第２の実施形態に係る車両検知システムの構成の概要を示す模式図である。

【図6】第２の実施形態に係る遷移情報の一例を示す状態遷移図である。

【図7】第２の実施形態に係る車両通過判定装置の動作の一例を示す流れ図である。

【発明を実施するための形態】

【0010】

［第１の実施形態］
以下、図を参照して車両検知システム１の第１の実施形態について説明する。初めに図１を参照して、車両検知システム１の構成の概要について説明する。
図１は、本実施形態の車両検知システム１の構成の概要を示す模式図である。車両検知システム１は、車両通過判定装置１０と、車両位置検出装置２０と、表示装置３０とを備える。ここでは、車両検知システム１が設置されている場所が、料金所のゲートである場合を一例にして説明する。まず、車両位置検出装置２０の概要について説明する。

【0011】

車両位置検出装置２０は、複数の検出器を備える。ここでは、この車両位置検出装置２０が、３つの検出器を備える場合を一例にして説明する。検出器２０１と、検出器２０２と、検出器２０３とは、料金所の車両通過レーンＬＴを通過する車両の通過方向に互いに所定の間隔をあけて、設置される。以下、これら３つの検出器を区別する場合には、検出器２０１、検出器２０２、及び検出器２０３と称し、３つの検出器を区別しない場合には、これらを総称して検出器２００と称する。

【0012】

検出器２００は、車両検出センサを備えている。この車両検出センサは赤外線、可視光線、音波などの透過の有無又は反射の有無により検出対象の位置に物体が存在するか否かを検出する。検出器２００は、この検出対象の位置の車両の有無を検出することができる。
検出器２００は、車両の有無を検出した結果を、他の機器に出力する。以下の説明において、検出器２０１が車両の有無を検出した結果を、検出結果ｒ１と称する。検出器２０２が車両の有無を検出した結果を、検出結果ｒ２と称する。検出器２０３が車両の有無を検出した結果を、検出結果ｒ３と称する。以下、検出結果ｒ１と、検出結果ｒ２と、検出結果ｒ３とを区別しない場合には、これらを総称して検出結果ｒと称する。
車両位置検出装置２０は、検出器２００が検出した車両の有無を示す検出結果ｒを、車両通過判定装置１０に出力する。

【0013】

なお、図１に示す検出器２００の数は一例であって、これに限られない。車両位置検出装置２０は、車両通過レーンＬＴを通過する車両の進行方向が判定可能な数の検出器２００を備えていればよい。具体的には、車両位置検出装置２０は、検出器２００を２台以上備えていればよい。

【0014】

次に、車両位置検出装置２０の検出領域について説明する。本実施形態では、検出される対象である車両を、車両Ｖと称する。また、車両Ｖが料金所を通過する方向を方向ｄｒと称し、方向ｄｒと逆の方向を方向ｒｖと称する。また、方向ｄｒを、前方とも称する。方向ｒｖを、後方とも称する。

【0015】

この検出領域には、検出器２００が車両の有無を検出可能な位置と、検出器２００が車両の有無を検出不可能な位置とが含まれる。検出器２００が車両の有無を検出可能な位置には、検出器２０１が検出可能な位置である位置Ｓ１と、検出器２０２が検出可能な位置である位置Ｓ２と、検出器２０３が検出可能な位置である位置Ｓ３とが含まれる。すなわち、検出器２０１は、位置Ｓ１に車両が存在するか否かを検出する。検出器２０２は、位置Ｓ２に車両が存在するか否かを検出する。検出器２０３は、位置Ｓ３に車両が存在するか否かを検出する。ここで、位置Ｓ１を、検出器２０１の検出領域とも称する。位置Ｓ２を、検出器２０２の検出領域とも称する。位置Ｓ３を、検出器２０３の検出領域とも称する。

【0016】

検出器２００が車両の有無を検出不可能な位置には、位置Ｓ１よりも後方の位置Ｐ０と、位置Ｓ１と位置Ｓ２との間の位置Ｐ１とが含まれる。また、検出器２００が車両の有無を検出不可能な位置には、位置Ｓ２と位置Ｓ３との間の位置Ｐ２と、位置Ｓ３よりも前方の位置Ｐ３とが含まれる。本実施形態では、車両Ｖが料金所に到達してから、料金所を通過するまでの車両Ｖの位置は、これら７つの位置によって示される。車両Ｖの位置について、図１を参照して、より具体的に説明する。

【0017】

まず、図１に示すように、車両Ｖが、方向ｄｒに向かって料金所を通過する場合について説明する。この場合、車両Ｖは、位置Ｐ０、位置Ｓ１、位置Ｐ１、位置Ｓ２、位置Ｐ２、位置Ｓ３、位置Ｐ３の順に通過する。以下の説明において、車両Ｖが方向ｄｒに向かって進行する場合を、順方向の進行と称する。
次に、車両Ｖが、方向ｒｖに向かって料金所を通過する場合について説明する。この場合、車両Ｖが位置Ｐ３から料金所に進入したとすると、車両Ｖは、位置Ｐ３、位置Ｓ３、位置Ｐ２、位置Ｓ２、位置Ｐ１、位置Ｓ１、位置Ｐ０の順に通過する。以下の説明において、車両Ｖが方向ｒｖに向かって進行する場合を、逆方向の進行、又は逆走と称する。なお、車両Ｖがいずれの位置から進行を開始したかを問わず、車両Ｖが方向ｒｖに向かって進行すれば、逆走である。例えば、車両Ｖが位置Ｓ２から位置Ｐ１に向かって進行した場合には、逆走である。

【0018】

次に、車両通過判定装置１０の構成の概要について説明する。車両通過判定装置１０は、車両位置検出装置２０の検出結果ｒと、遷移情報Ｉｎｆｏ１とに基づいて車両Ｖの通過の判定を行う。以下、この遷移情報Ｉｎｆｏ１の具体例について、図２を参照して説明する。

【0019】

図２は、遷移情報Ｉｎｆｏ１の一例を示す状態遷移図である。本実施形態においては、遷移情報Ｉｎｆｏ１とは、有限オートマトンによって示される情報である。この有限オートマトンは「状態」と、状態間を接続する「遷移」と、遷移の可否を判定する条件である「遷移条件」とによって、対象のシステムのふるまいを表す。なお、以下の説明において、遷移情報Ｉｎｆｏ１の「状態」を、車両Ｖの状態とも記載する。また、遷移情報Ｉｎｆｏ１の「遷移」を、車両Ｖの状態の遷移とも記載する。また、遷移情報Ｉｎｆｏ１の「遷移条件」を、車両Ｖの状態の遷移条件とも記載する。

【0020】

図２に示す遷移情報Ｉｎｆｏ１において、車両Ｖの状態は、検出器２００の検出結果ｒによって示される。例えば、検出器２０１の検出結果ｒ１が“車両あり”を示し、検出器２０２の検出結果ｒ２、及び検出器２０３の検出結果ｒ３がいずれも“車両なし”を示す場合には、車両Ｖの状態は、状態ＳＴＳ１である。この状態ＳＴＳ１は、図１に示す位置Ｓ１に対応する。以下、検出器２００の検出結果ｒが“車両あり”を示す場合には、検出結果ｒの値が“１”であるとして説明する。また、検出器２００の検出結果ｒが“車両なし”を示す場合には、検出結果ｒの値が“０”であるとして説明する。また、検出器２０１、検出器２０２、検出器２０３の各検出結果ｒをまとめて示す場合には、“検出結果ｒ１の値、検出結果ｒ２の値、検出結果ｒ３の値”と記載する。例えば、検出器２０１の検出結果ｒ１が“車両あり”を示し、検出器２０２の検出結果ｒ２、及び検出器２０３の検出結果ｒ３がいずれも“車両なし”を示す場合には、“１００”と記載する。また、例えば、検出器２０１の検出結果ｒ１、検出器２０２の検出結果ｒ２、及び検出器２０３の検出結果ｒ３が、いずれも“車両あり”を示す場合には、“１１１”と記載する。

【0021】

また、図２に示す遷移情報Ｉｎｆｏ１において、車両Ｖの状態の遷移条件は、検出器２００の検出結果ｒに対応付けられて、遷移毎に予め定められている。以下の説明において、車両Ｖの状態の遷移条件を、検出器２００の検出結果ｒに対応付けて条件Ｃ［検出結果ｒ１の値、検出結果ｒ２の値、検出結果ｒ３の値］と記載する。例えば、検出器２００の検出結果ｒ“１００”に対応付けられている遷移条件は、条件Ｃ［１００］と記載する。また、例えば、検出器２００の検出結果ｒ“１１１”に対応付けられている遷移条件は、条件Ｃ［１１１］と記載する。

【0022】

また、遷移情報Ｉｎｆｏ１の「遷移」には、「正常遷移」と、「異常遷移」とが含まれる。このうち正常遷移とは、車両Ｖが図１に示す方向ｄｒに進行する場合の、車両Ｖの状態の遷移である。また、異常遷移とは、車両Ｖが図１に示す方向ｒｖに進行する場合の、すなわち逆行する場合の車両Ｖの状態遷移である。以下、遷移情報Ｉｎｆｏ１の具体例について図２を参照して詳細に説明する。まず、遷移情報Ｉｎｆｏ１の正常遷移について、状態毎に説明し、次に遷移情報Ｉｎｆｏ１の異常遷移について、状態毎に説明する。

【0023】

［状態ＳＴＰ０からの正常遷移］
状態ＳＴＰ０は、図２に示す遷移情報Ｉｎｆｏ１の初期状態を示す。この状態ＳＴＰ０とは、料金所に進入する車両Ｖがまだ位置Ｓ１に進行していないことを示す状態である。
状態ＳＴＰ０の他の状態への正常遷移は、遷移Ｔ０１と、遷移Ｔ０２とがある。
遷移Ｔ０１の遷移条件は、条件Ｃ［０００］である。検出結果ｒが条件Ｃ［０００］に合致した場合に、車両Ｖの状態は、遷移Ｔ０１にしたがって遷移する。ここで、車両Ｖが位置Ｐ０から位置Ｓ１に進行せずに留まっている場合、検出器２０１、検出器２０２、及び検出器２０３は、いずれも“車両なし”を出力する。この場合、検出結果ｒは“０００”であり、条件Ｃ［０００］と合致する。すなわち、条件Ｃ［０００］とは、車両Ｖが位置Ｓ１に進行せずに位置Ｐ０に留まっていることを示す。車両Ｖが位置Ｐ０に留まっている場合、車両Ｖの状態は、状態ＳＴＰ０に保持される。

【0024】

遷移Ｔ０２の遷移条件は、条件Ｃ［１００］である。検出結果ｒが条件Ｃ［１００］に合致した場合に、車両Ｖの状態は、遷移Ｔ０２にしたがって状態ＳＴＳ１に遷移する。ここで、車両Ｖが位置Ｐ０から位置Ｓ１に進行して、位置Ｓ１に達した場合、検出器２０１が“車両あり”を出力し、検出器２０２、及び検出器２０３は、“車両なし”を出力する。この場合、検出結果ｒは“１００”であり、条件Ｃ［１００］と合致する。したがって、車両Ｖが位置Ｓ１に達した場合、車両Ｖの状態は、状態ＳＴＰ０から状態ＳＴＳ１に遷移する。
ここで、車両Ｖが位置Ｐ０から位置Ｓ１に進行することは、方向ｄｒに進行することを示す。方向ｄｒへの進行は正常遷移であるから、状態ＳＴＰ０から状態ＳＴＳ１への遷移は正常遷移である。

【0025】

［状態ＳＴＳ１からの正常遷移］
状態ＳＴＳ１は、車両Ｖが位置Ｓ１に存在していることを示す。
状態ＳＴＳ１からの他の状態への正常遷移は、遷移Ｔ０３と、遷移Ｔ０４と、遷移Ｔ０５と、遷移Ｔ０６とがある。
遷移Ｔ０３の遷移条件は、条件Ｃ［１００］である。検出結果ｒが条件Ｃ［１００］に合致した場合に、車両Ｖの状態は、遷移Ｔ０３にしたがって遷移する。ここで、車両Ｖが位置Ｓ１に留まっている場合、検出結果ｒは“１００”であり、条件Ｃ［１００］と合致する。したがって、車両Ｖが位置Ｓ１に留まっている場合、車両Ｖの状態は、状態ＳＴＳ１に保持される。

【0026】

遷移Ｔ０６の遷移条件は、条件Ｃ［０００］である。検出結果ｒが条件Ｃ［０００］に合致した場合に、車両Ｖの状態は、遷移Ｔ０６にしたがって状態ＳＴＰ１に遷移する。ここで、車両Ｖが位置Ｓ１から位置Ｐ１に進行して、位置Ｐ１に達した場合、検出器２０１、検出器２０２、及び検出器２０３は、いずれも“車両なし”を出力する。この場合、検出結果ｒは“０００”であり、条件Ｃ［０００］と合致する。したがって、車両Ｖが位置Ｐ１に達した場合、車両Ｖの状態は、状態ＳＴＳ１から状態ＳＴＰ１に遷移する。
ここで、車両Ｖが位置Ｓ１から位置Ｐ１に進行することは、方向ｄｒに進行することを示す。方向ｄｒへの進行は正常遷移であるから、状態ＳＴＳ１から状態ＳＴＰ１への遷移は正常遷移である。

【0027】

遷移Ｔ０４の遷移条件は、条件Ｃ［１１０］である。検出結果ｒが条件Ｃ［１１０］に合致した場合に、車両Ｖの状態は、遷移Ｔ０４にしたがって状態ＳＴＳ１Ｓ２に遷移する。ここで、車両Ｖの状態が、状態ＳＴＳ１Ｓ２に遷移する場合について説明する。車両Ｖの車両長が、検出器２０１から検出器２０２までの間隔より長い場合、検出器２０１と、検出器２０２とが同時に“車両あり”を検出する場合がある。具体的には、車両Ｖの先頭部分が位置Ｓ２にある場合に、この車両Ｖの後尾部分が位置Ｓ１にある場合がある。この場合、車両位置検出装置２０の検出結果ｒは“１１０”であり、条件Ｃ［１１０］と合致する。したがって、車両Ｖの先頭が位置Ｓ２にある場合に、車両Ｖの後尾が位置Ｓ１にある場合には、車両Ｖの状態は、状態ＳＴＳ１から状態ＳＴＳ１Ｓ２に遷移する。
ここで、車両Ｖが位置Ｓ１から位置Ｓ２に進行することは、方向ｄｒに進行することを示す。方向ｄｒへの進行は正常遷移であるから、状態ＳＴＳ１から状態ＳＴＳ１Ｓ２への遷移は正常遷移である。

【0028】

遷移Ｔ０５の遷移条件は、条件Ｃ［０１０］である。検出結果ｒが条件Ｃ［０１０］に合致した場合に、車両Ｖの状態は、遷移Ｔ０５にしたがって状態ＳＴＳ２に遷移する。ここで、車両Ｖの状態が、状態ＳＴＳ２に遷移する場合の具体例について説明する。車両位置検出装置２０は、所定の時間おきに車両Ｖの位置を検出する。車両Ｖが位置Ｓ１から位置Ｓ２に進行する場合、検出器２０１の出力は“車両あり”から“車両なし”に変化し、検出器２０２の出力は“車両なし”から“車両あり”に変化する。車両Ｖの速度が比較的遅い場合には、車両位置検出装置２０は、検出器２０１と検出器２０２とのいずれもが“車両なし”を検出する。つまり、車両Ｖの速度が比較的遅い場合には、車両位置検出装置２０は、位置Ｓ１から位置Ｐ１に移動し、更に位置Ｓ２に移動したことを検出する。一方、車両Ｖの速度が比較的速い場合には、車両位置検出装置２０は、検出器２０１が“車両なし”を検出すると同時に検出器２０２が“車両あり”を検出することができる。つまり、車両位置検出装置２０は、位置Ｓ１から位置Ｐ１を介さずに位置Ｓ２に移動したことを検出する。
この遷移Ｔ０５は、車両位置検出装置２０が、車両Ｖが位置Ｐ１へ移動したことを検出せずに、車両Ｖが位置Ｓ２に移動したことを検出したことを示す遷移である。車両Ｖが、位置Ｓ１から、位置Ｓ２に進行して、位置Ｓ２に達した場合、車両位置検出装置２０の検出結果ｒは“０１０”であり、条件Ｃ［０１０］と合致する。したがって、車両Ｖが、比較的速い速度によって位置Ｓ１から位置Ｓ２に移動した場合、車両Ｖの状態は状態ＳＴＳ１から状態ＳＴＳ２へ遷移する。
ここで、車両Ｖが位置Ｓ１から位置Ｓ２に進行することは、方向ｄｒに進行することを示す。方向ｄｒへの進行は正常遷移であるから、状態ＳＴＳ１から状態ＳＴＳ２への遷移は正常遷移である。

【0029】

［状態ＳＴＳ１Ｓ２からの正常遷移］
状態ＳＴＳ１Ｓ２は、車両Ｖの車両長が検出器２０１から検出器２０２までの間隔より長い場合に遷移する状態である。状態ＳＴＳ１Ｓ２は、車両Ｖが位置Ｓ１と、位置Ｐ１と、位置Ｓ２とに存在していることを示す。
状態ＳＴＳ１Ｓ２からの他の状態への正常遷移は、遷移Ｔ０７と、遷移Ｔ０８とがある。
遷移Ｔ０７の遷移条件は、条件Ｃ［１１０］である。検出結果ｒが条件Ｃ［１１０］に合致した場合に、車両Ｖの状態は、遷移Ｔ０７にしたがって遷移する。ここで、車両Ｖの先頭が位置Ｓ２に、車両Ｖの後尾が位置Ｓ１に留まっている場合、車両Ｖの状態は、状態ＳＴＳ１Ｓ２に保持される。

【0030】

遷移Ｔ０８の遷移条件は、条件Ｃ［０１０］である。検出結果ｒが条件Ｃ［０１０］に合致した場合に、車両Ｖの状態は、遷移Ｔ０８にしたがって状態ＳＴＳ２に遷移する。ここで、車両Ｖが位置Ｓ２に進行して、車両Ｖの後尾が位置Ｐ１に達した場合、検出結果ｒは“０１０”であり、条件Ｃ［０１０］と合致する。したがって、車両Ｖが検出器２０１の検出領域である位置Ｓ１より前方に進行し、検出領域外に達した場合、車両Ｖの状態は、状態ＳＴＳ１Ｓ２から状態ＳＴＳ２に遷移する。
ここで、車両Ｖが位置Ｓ１から位置Ｓ２に進行することは、方向ｄｒに進行することを示す。方向ｄｒへの進行は正常遷移であるから、状態ＳＴＳ１Ｓ２から状態ＳＴＳ２への遷移は正常遷移である。

【0031】

［状態ＳＴＰ１からの正常遷移］
状態ＳＴＰ１は、車両Ｖが位置Ｐ１に存在していることを示す。
状態ＳＴＰ１からの他の状態への正常遷移は、遷移Ｔ０９と、遷移Ｔ１０とがある。
遷移Ｔ０９の遷移条件は、条件Ｃ［０００］である。検出結果ｒが条件Ｃ［０００］に合致した場合に、車両Ｖの状態は、遷移Ｔ０９にしたがって遷移する。ここで、車両Ｖが位置Ｐ１に留まっている場合、検出結果ｒは“０００”であり、条件Ｃ［０００］と合致する。したがって、車両Ｖが位置Ｐ１に留まっている場合、車両Ｖの状態は、状態ＳＴＰ１に保持される。

【0032】

遷移Ｔ１０の遷移条件は、条件Ｃ［０１０］である。検出結果ｒが条件Ｃ［０１０］に合致した場合に、車両Ｖの状態は、遷移Ｔ１０にしたがって状態ＳＴＳ２に遷移する。ここで、車両Ｖが位置Ｐ１から位置Ｓ２に進行して、位置Ｓ２に達した場合、検出結果ｒは“０１０”であり、条件Ｃ［０１０］と合致する。したがって、車両Ｖが位置Ｓ２に達した場合、車両Ｖの状態は、状態ＳＴＰ１から状態ＳＴＳ２に遷移する。
ここで、車両Ｖが位置Ｐ１から位置Ｓ２に進行することは、方向ｄｒに進行することを示す。方向ｄｒへの進行は正常遷移であるから、状態ＳＴＰ１から状態ＳＴＳ２への遷移は正常遷移である。

【0033】

［状態ＳＴＳ２からの正常遷移］
状態ＳＴＳ２は、車両Ｖが位置Ｓ２に存在していることを示す。
状態ＳＴＳ２からの他の状態への正常遷移は、遷移Ｔ１１と、遷移Ｔ１２と、遷移Ｔ１３と、遷移Ｔ１４とがある。
遷移Ｔ１１の遷移条件は、条件Ｃ［０１０］である。検出結果ｒが条件Ｃ［０１０］に合致した場合に、車両Ｖの状態は、遷移Ｔ１１にしたがって遷移する。ここで、車両Ｖが位置Ｓ２に留まっている場合、検出結果ｒは“０１０”であり、条件Ｃ［０１０］と合致する。したがって、車両Ｖが位置Ｓ２に留まっている場合、車両Ｖの状態は、状態ＳＴＳ２に保持される。

【0034】

遷移Ｔ１４の遷移条件は、条件Ｃ［０００］である。検出結果ｒが条件Ｃ［０００］に合致した場合に、車両Ｖの状態は、遷移Ｔ１４にしたがって状態ＳＴＰ２に遷移する。ここで、車両Ｖが位置Ｓ２から位置Ｐ２に進行して、位置Ｐ２に達した場合、検出器２０１、検出器２０２、及び検出器２０３は、いずれも“車両なし”を出力する。この場合、検出結果ｒは“０００”であり、条件Ｃ［０００］と合致する。したがって、車両Ｖが位置Ｐ２に達した場合、車両Ｖの状態は、状態ＳＴＳ２から状態ＳＴＰ２に遷移する。
ここで、車両Ｖが位置Ｓ２から位置Ｐ２に進行することは、方向ｄｒに進行することを示す。方向ｄｒへの進行は正常遷移であるから、状態ＳＴＳ２から状態ＳＴＰ２への遷移は正常遷移である。

【0035】

遷移Ｔ１２の遷移条件は、条件Ｃ［０１１］である。検出結果ｒが条件Ｃ［０１１］に合致した場合に、車両Ｖの状態は、遷移Ｔ１２にしたがって状態ＳＴＳ２Ｓ３に遷移する。車両Ｖの車両長が、検出器２０２から検出器２０３までの間隔より長い場合、つまり、車両Ｖの先頭が位置Ｓ３にあり、車両Ｖの後尾が位置Ｓ２にある場合には、車両Ｖの状態は、状態ＳＴＳ２から状態ＳＴＳ２Ｓ３に遷移する。
なお、この遷移Ｔ１２は、条件Ｃの成立過程が遷移Ｔ０４と同様であるので、詳細な説明を省略する。
ここで、車両Ｖが位置Ｓ２から位置Ｓ３に進行することは、方向ｄｒに進行することを示す。方向ｄｒへの進行は正常遷移であるから、状態ＳＴＳ２から状態ＳＴＳ２Ｓ３への遷移は正常遷移である。

【0036】

遷移Ｔ１３の遷移条件は、条件Ｃ［００１］である。検出結果ｒが条件Ｃ［００１］に合致した場合に、車両Ｖの状態は、遷移Ｔ１３にしたがって状態ＳＴＳ３に遷移する。ここで、車両Ｖが、比較的速い速度によって位置Ｓ２から位置Ｓ３に移動した場合、車両Ｖの状態は状態ＳＴＳ２から状態ＳＴＳ３へ遷移する。
なお、この遷移Ｔ１３は、条件Ｃの成立過程が遷移Ｔ０５と同様であるので、詳細な説明を省略する。
ここで、車両Ｖが位置Ｓ２から位置Ｓ３に進行することは、方向ｄｒに進行することを示す。方向ｄｒへの進行は正常遷移であるから、状態ＳＴＳ２から状態ＳＴＳ３への遷移は正常遷移である。

【0037】

［状態ＳＴＳ２Ｓ３からの正常遷移］
状態ＳＴＳ２Ｓ３は、車両Ｖの車両長が検出器２０２から検出器２０３までの間隔より長い場合に遷移する状態である。
状態ＳＴＳ２Ｓ３からの他の状態への正常遷移は、遷移Ｔ１５と、遷移Ｔ１６とがある。
遷移Ｔ１５の遷移条件は、条件Ｃ［０１１］である。検出結果ｒが条件Ｃ［０１１］に合致した場合に、車両Ｖの状態は、遷移Ｔ１５にしたがって遷移する。ここで、車両Ｖの先頭が位置Ｓ３に、車両Ｖの後尾が位置Ｓ２に留まっている場合、車両Ｖの状態は、状態ＳＴＳ２Ｓ３に保持される。

【0038】

遷移Ｔ１６の遷移条件は、条件Ｃ［００１］である。検出結果ｒが条件Ｃ［００１］に合致した場合に、車両Ｖの状態は、遷移Ｔ１６にしたがって状態ＳＴＳ３に遷移する。ここで、車両Ｖが位置Ｓ３に進行して、車両Ｖの後尾が位置Ｐ２に達した場合、検出結果ｒは“００１”であり、条件Ｃ［００１］と合致する。したがって、車両Ｖが検出器２０２の検出領域である位置Ｓ２より前方に進行し、検出領域外に達した場合、車両Ｖの状態は、状態ＳＴＳ２Ｓ３から状態ＳＴＳ３に遷移する。
ここで、車両Ｖが位置Ｓ２から位置Ｓ３に進行することは、方向ｄｒに進行することを示す。方向ｄｒへの進行は正常遷移であるから、状態ＳＴＳ２Ｓ３から状態ＳＴＳ３への遷移は正常遷移である。

【0039】

［状態ＳＴＰ２からの正常遷移］
状態ＳＴＰ２は、車両Ｖが位置Ｐ２に存在していることを示す。
状態ＳＴＰ２からの他の状態への正常遷移は、遷移Ｔ１７と、遷移Ｔ１８とがある。
遷移Ｔ１７の遷移条件は、条件Ｃ［０００］である。検出結果ｒが条件Ｃ［０００］に合致した場合に、車両Ｖの状態は、遷移Ｔ１７にしたがって遷移する。ここで、車両Ｖが位置Ｐ２に留まっている場合、検出結果ｒは“０００”であり、条件Ｃ［０００］と合致する。したがって、車両Ｖが位置Ｐ２に留まっている場合、車両Ｖの状態は、状態ＳＴＰ２に保持される。

【0040】

遷移Ｔ１８の遷移条件は、条件Ｃ［００１］である。検出結果ｒが条件Ｃ［００１］に合致した場合に、車両Ｖの状態は、遷移Ｔ１８にしたがって状態ＳＴＳ３に遷移する。ここで、車両Ｖが位置Ｐ２から位置Ｓ３に進行して、位置Ｓ３に達した場合、検出結果ｒは“００１”であり、条件Ｃ［００１］と合致する。したがって、車両Ｖが位置Ｓ３に達した場合、車両Ｖの状態は、状態ＳＴＰ２から状態ＳＴＳ３に遷移する。すなわち、状態ＳＴＳ３は、車両Ｖが位置Ｓ３に存在していることを示す。
ここで、車両Ｖが位置Ｐ２から位置Ｓ３に進行することは、方向ｄｒに進行することを示す。方向ｄｒへの進行は正常遷移であるから、状態ＳＴＰ２から状態ＳＴＳ３への遷移は正常遷移である。

【0041】

［状態ＳＴＳ３からの正常遷移］
状態ＳＴＳ３は、車両Ｖが位置Ｓ３に存在していることを示す。
状態ＳＴＳ３からの他の状態への正常遷移は、遷移Ｔ１９と、遷移Ｔ２０とがある。
遷移Ｔ１９の遷移条件は、条件Ｃ［００１］である。検出結果ｒが条件Ｃ［００１］に合致した場合に、車両Ｖの状態は、遷移Ｔ１９にしたがって遷移する。ここで、車両Ｖが位置Ｓ３に留まっている場合、検出結果ｒは“００１”であり、条件Ｃ［００１］と合致する。したがって、車両Ｖが位置Ｓ３に留まっている場合、車両Ｖの状態は、状態ＳＴＳ３に保持される。

【0042】

遷移Ｔ２０の遷移条件は、条件Ｃ［０００］である。検出結果ｒが条件Ｃ［０００］に合致した場合に、車両Ｖの状態は、遷移Ｔ２０にしたがって状態ＳＴＰ３に遷移する。ここで、車両Ｖが位置Ｓ３から位置Ｐ３に進行して、位置Ｐ３に達した場合、検出結果ｒは“０００”であり、条件Ｃ［０００］と合致する。したがって、車両Ｖが位置Ｐ３に達した場合、車両Ｖの状態は、状態ＳＴＳ３から状態ＳＴＰ３に遷移する。すなわち、状態ＳＴＰ３は、車両Ｖが位置Ｐ３に存在していることを示す。
ここで、車両Ｖが位置Ｓ３から位置Ｐ３に進行することは、方向ｄｒに進行することを示す。方向ｄｒへの進行は正常遷移であるから、状態ＳＴＳ３から状態ＳＴＰ３への遷移は正常遷移である。

【0043】

［状態ＳＴＰ３からの正常遷移］
状態ＳＴＰ３は、車両Ｖが位置Ｐ３に存在していることを示す。
状態ＳＴＰ３からの他の状態への正常遷移は、遷移Ｔ２１と、遷移Ｔ２２とがある。
遷移Ｔ２１の遷移条件は、条件Ｃ［０００］である。検出結果ｒが条件Ｃ［０００］に合致した場合に、車両Ｖの状態は、遷移Ｔ２１にしたがって遷移する。ここで、車両Ｖが位置Ｐ３に留まっている場合、検出結果ｒは“０００”であり、条件Ｃ［０００］と合致する。したがって、車両Ｖが位置Ｐ３に留まっている場合、車両Ｖの状態は、状態ＳＴＰ３に保持される。
遷移Ｔ２２は、状態ＳＴＰ３からの遷移を示す。

【0044】

次に、遷移情報Ｉｎｆｏ１の異常遷移について、状態毎に説明する。

【0045】

［状態ＳＴＰ３からの異常遷移］
状態ＳＴＰ３からの他の状態への異常遷移は、遷移Ｔ２３がある。
遷移Ｔ２３の遷移条件は、条件Ｃ［００１］である。検出結果ｒが条件Ｃ［００１］に合致した場合に、車両Ｖの状態は、遷移Ｔ２３にしたがって状態ＳＴＳ３’に遷移する。ここで、車両Ｖが位置Ｐ３から位置Ｓ３に進行して、位置Ｓ３に達した場合、検出結果ｒは“００１”であり、条件Ｃ［００１］と合致する。したがって、車両Ｖが位置Ｓ３に達した場合、車両Ｖの状態は、状態ＳＴＰ３から状態ＳＴＳ３’に遷移する。
ここで、車両Ｖが位置Ｐ３から位置Ｓ３に進行することは、方向ｒｖに進行することを示す。方向ｒｖへの進行は異常遷移であるから、状態ＳＴＰ３から状態ＳＴＳ３’への遷移は異常遷移である。

【0046】

［状態ＳＴＳ３’からの異常遷移］
状態ＳＴＳ３’からの他の状態への異常遷移は、遷移Ｔ２４と、遷移Ｔ２５と、遷移Ｔ２６と、遷移Ｔ２７とがある。
遷移Ｔ２４の遷移条件は、条件Ｃ［００１］である。検出結果ｒが条件Ｃ［００１］に合致した場合に、車両Ｖの状態は、遷移Ｔ２４にしたがって遷移する。ここで、車両Ｖが位置Ｓ３に留まっている場合、検出結果ｒは“００１”であり、条件Ｃ［００１］と合致する。したがって、車両Ｖが位置Ｓ３に留まっている場合、車両Ｖの状態は、状態ＳＴＳ３’に保持される。すなわち、状態ＳＴＳ３’は、車両Ｖが位置Ｓ３に存在していることを示す。

【0047】

遷移Ｔ２７の遷移条件は、条件Ｃ［０００］である。検出結果ｒが条件Ｃ［０００］に合致した場合に、車両Ｖの状態は、遷移Ｔ２７にしたがって状態ＳＴＰ２に遷移する。ここで、車両Ｖが位置Ｓ３から位置Ｐ２に進行して、位置Ｐ２に達した場合、検出器２０１、検出器２０２、及び検出器２０３は、いずれも“車両なし”を出力する。この場合、検出結果ｒは“０００”であり、条件Ｃ［０００］と合致する。したがって、車両Ｖが位置Ｐ２に達した場合、車両Ｖの状態は、状態ＳＴＳ３’から状態ＳＴＰ２に遷移する。すなわち、状態ＳＴＰ２は、車両Ｖが位置Ｐ２に存在していることを示す。
ここで、車両Ｖが位置Ｓ３から位置Ｐ２に進行することは、方向ｒｖに進行することを示す。方向ｒｖへの進行は異常遷移であるから、状態ＳＴＳ３’から状態ＳＴＰ２への遷移は異常遷移である。

【0048】

遷移Ｔ２５の遷移条件は、条件Ｃ［０１１］である。検出結果ｒが条件Ｃ［０１１］に合致した場合に、車両Ｖの状態は、遷移Ｔ２５にしたがって状態ＳＴＳ２’Ｓ３’に遷移する。車両Ｖの車両長が、検出器２０２から検出器２０３までの間隔より長い場合、つまり、車両Ｖの先頭が位置Ｓ２にあり、この車両Ｖの後尾が位置Ｓ３にある場合には、車両Ｖの状態は、状態ＳＴＳ３’から状態ＳＴＳ２’Ｓ３’に遷移する。
なお、この遷移Ｔ２５は、条件Ｃの成立過程が遷移Ｔ０４と同様であるので、詳細な説明を省略する。
ここで、車両Ｖが位置Ｓ３から位置Ｓ２に進行することは、方向ｒｖに進行することを示す。方向ｒｖへの進行は異常遷移であるから、状態ＳＴＳ３’から状態ＳＴＳ２’Ｓ３’への遷移は異常遷移である。異常遷移には二つの走行パターンがある。一つは、上記「車両Ｖの先頭が位置Ｓ２にあり、この車両Ｖの後尾が位置Ｓ３にある場合」のように車両が逆走するパターン、もう一つは「車両Ｖの後尾が位置Ｓ２にあり、この車両Ｖの先頭が位置Ｓ３にある場合」のように車両が後退するパターンである。以降では、前者の逆走するパターンの例とともに説明する。

【0049】

遷移Ｔ２６の遷移条件は、条件Ｃ［０１０］である。検出結果ｒが条件Ｃ［０１０］に合致した場合に、車両Ｖの状態は、遷移Ｔ２６にしたがって状態ＳＴＳ２’に遷移する。ここで、車両Ｖが、比較的速い速度によって位置Ｓ３から位置Ｓ２に移動した場合、車両Ｖの状態は状態ＳＴＳ３’から状態ＳＴＳ２’へ遷移する。
なお、この遷移Ｔ２６は、条件Ｃの成立過程が遷移Ｔ０５と同様であるので、詳細な説明を省略する。
ここで、車両Ｖが位置Ｓ３から位置Ｓ２に進行することは、方向ｒｖに進行することを示す。方向ｒｖへの進行は異常遷移であるから、状態ＳＴＳ３’から状態ＳＴＳ２’への遷移は異常遷移である。

【0050】

［状態ＳＴＳ２’Ｓ３’からの異常遷移］
状態ＳＴＳ２’Ｓ３’は、車両Ｖの車両長が検出器２０２から検出器２０３までの間隔より長い場合に遷移する状態である。
状態ＳＴＳ２’Ｓ３’からの他の状態への異常遷移は、遷移Ｔ２８と、遷移Ｔ２９とがある。
遷移Ｔ２８の遷移条件は、条件Ｃ［０１１］である。検出結果ｒが条件Ｃ［０１１］に合致した場合に、車両Ｖの状態は、遷移Ｔ２８にしたがって遷移する。ここで、車両Ｖの先頭が位置Ｓ２に、車両Ｖの後尾が位置Ｓ３に留まっている場合、車両Ｖの状態は、状態ＳＴＳ２’Ｓ３’に保持される。すなわち、状態ＳＴＳ２’Ｓ３’は、車両Ｖが位置Ｓ２と、位置Ｐ２と、位置Ｓ３とに存在していることを示す。

【0051】

遷移Ｔ２９の遷移条件は、条件Ｃ［０１０］である。検出結果ｒが条件Ｃ［０１０］に合致した場合に、車両Ｖの状態は、遷移Ｔ２９にしたがって状態ＳＴＳ２’に遷移する。ここで、車両Ｖが位置Ｓ２に進行して、車両Ｖの後尾が位置Ｐ２に達した場合、検出結果ｒは“０１０”であり、条件Ｃ［０１０］と合致する。したがって、車両Ｖが検出器２０３の検出領域である位置Ｓ３より後方に逆行し、検出領域外に達した場合、車両Ｖの状態は、状態ＳＴＳ２’Ｓ３’から状態ＳＴＳ２’に遷移する。すなわち状態ＳＴＳ２’は、車両Ｖが位置Ｓ２に存在していることを示す。
ここで、車両Ｖが位置Ｓ３から位置Ｓ２に進行することは、方向ｒｖに進行することを示す。方向ｒｖへの進行は異常遷移であるから、状態ＳＴＳ２’Ｓ３’から状態ＳＴＳ２’への遷移は異常遷移である。

【0052】

［状態ＳＴＰ２からの異常遷移］
状態ＳＴＰ２からの他の状態への異常遷移は、遷移Ｔ３０がある。
遷移Ｔ３０の遷移条件は、条件Ｃ［０１０］である。検出結果ｒが条件Ｃ［０１０］に合致した場合に、車両Ｖの状態は、遷移Ｔ３０にしたがって状態ＳＴＳ２’に遷移する。ここで、車両Ｖが位置Ｐ２から位置Ｓ２に進行して、位置Ｓ２に達した場合、検出結果ｒは“０１０”であり、条件Ｃ［０１０］と合致する。したがって、車両Ｖが位置Ｓ２に達した場合、車両Ｖの状態は、状態ＳＴＰ２から状態ＳＴＳ２’に遷移する。すなわち、状態ＳＴＳ２’は、車両Ｖが位置Ｓ２に存在していることを示す。
ここで、車両Ｖが位置Ｐ２から位置Ｓ２に進行することは、方向ｒｖに進行することを示す。方向ｒｖへの進行は異常遷移であるから、状態ＳＴＰ２から状態ＳＴＳ２’への遷移は異常遷移である。

【0053】

［状態ＳＴＳ２’からの異常遷移］
状態ＳＴＳ２’からの他の状態への異常遷移は、遷移Ｔ３１と、遷移Ｔ３２と、遷移Ｔ３３と、遷移Ｔ３４とがある。
遷移Ｔ３１の遷移条件は、条件Ｃ［０１０］である。検出結果ｒが条件Ｃ［０１０］に合致した場合に、車両Ｖの状態は、遷移Ｔ３１にしたがって遷移する。ここで、車両Ｖが位置Ｓ２に留まっている場合、検出結果ｒは“０１０”であり、条件Ｃ［０１０］と合致する。したがって、車両Ｖが位置Ｓ２に留まっている場合、車両Ｖの状態は、状態ＳＴＳ２’に保持される。すなわち、状態ＳＴＳ２’は、車両Ｖが位置Ｓ２に存在していることを示す。

【0054】

遷移Ｔ３４の遷移条件は、条件Ｃ［０００］である。検出結果ｒが条件Ｃ［０００］に合致した場合に、車両Ｖの状態は、遷移Ｔ３４にしたがって状態ＳＴＰ１に遷移する。ここで、車両Ｖが位置Ｓ２から位置Ｐ１に進行して、位置Ｐ１に達した場合、検出器２０１、検出器２０２、及び検出器２０３は、いずれも“車両なし”を出力する。この場合、検出結果ｒは“０００”であり、条件Ｃ［０００］と合致する。したがって、車両Ｖが位置Ｐ１に達した場合、車両Ｖの状態は、状態ＳＴＳ２’から状態ＳＴＰ１に遷移する。すなわち、状態ＳＴＰ１は、車両Ｖが位置Ｐ１に存在していることを示す。
ここで、車両Ｖが位置Ｓ２から位置Ｐ１に進行することは、方向ｒｖに進行することを示す。方向ｒｖへの進行は異常遷移であるから、状態ＳＴＳ２’から状態ＳＴＰ１への遷移は異常遷移である。

【0055】

遷移Ｔ３２の遷移条件は、条件Ｃ［１１０］である。検出結果ｒが条件Ｃ［１１０］に合致した場合に、車両Ｖの状態は、遷移Ｔ３２にしたがって状態ＳＴＳ１’Ｓ２’に遷移する。車両Ｖの車両長が、検出器２０１から検出器２０２までの間隔より長い場合、つまり、車両Ｖの先頭が位置Ｓ１にあり、車両Ｖの後尾が位置Ｓ２にある場合には、車両Ｖの状態は、状態ＳＴＳ２’から状態ＳＴＳ１’Ｓ２’に遷移する。
なお、この遷移Ｔ３２は、条件Ｃの成立過程が遷移Ｔ０４と同様であるので、詳細な説明を省略する。
ここで、車両Ｖが位置Ｓ２から位置Ｓ１に進行することは、方向ｒｖに進行することを示す。方向ｒｖへの進行は異常遷移であるから、状態ＳＴＳ２’から状態ＳＴＳ１’Ｓ２’への遷移は異常遷移である。

【0056】

遷移Ｔ３３の遷移条件は、条件Ｃ［１００］である。検出結果ｒが条件Ｃ［１００］に合致した場合に、車両Ｖの状態は、遷移Ｔ３３にしたがって状態ＳＴＳ１’に遷移する。ここで、車両Ｖが、比較的速い速度によって位置Ｓ２から位置Ｓ１に移動した場合、車両Ｖの状態は状態ＳＴＳ２’から状態ＳＴＳ１’へ遷移する。
なお、この遷移Ｔ３３は、条件Ｃの成立過程が遷移Ｔ０５と同様であるので、詳細な説明を省略する。
ここで、車両Ｖが位置Ｓ２から位置Ｓ１に進行することは、方向ｒｖに進行することを示す。方向ｒｖへの進行は異常遷移であるから、状態ＳＴＳ２’から状態ＳＴＳ１’への遷移は異常遷移である。

【0057】

［状態ＳＴＳ１’Ｓ２’からの異常遷移］
状態ＳＴＳ１’Ｓ２’は、車両Ｖの車両長が検出器２０１から検出器２０２までの間隔より長い場合に遷移する状態である。
状態ＳＴＳ１’Ｓ２’からの他の状態への異常遷移は、遷移Ｔ３５と、遷移Ｔ３６とがある。
遷移Ｔ３５の遷移条件は、条件Ｃ［１１０］である。検出結果ｒが条件Ｃ［１１０］に合致した場合に、車両Ｖの状態は、遷移Ｔ３５にしたがって遷移する。ここで、車両Ｖの先頭が位置Ｓ１に、車両Ｖの後尾が位置Ｓ２に留まっている場合、車両Ｖの状態は、状態ＳＴＳ１’Ｓ２’に保持される。すなわち、状態ＳＴＳ１’Ｓ２’は、車両Ｖが位置Ｓ１と、位置Ｐ１と、位置Ｓ２とに存在していることを示す。

【0058】

遷移Ｔ３６の遷移条件は、条件Ｃ［１００］である。検出結果ｒが条件Ｃ［１００］に合致した場合に、車両Ｖの状態は、遷移Ｔ３６にしたがって状態ＳＴＳ１’に遷移する。ここで、車両Ｖが位置Ｓ１に進行して、車両Ｖの後尾が位置Ｐ１に達した場合、検出結果ｒは“１００”であり、条件Ｃ［１００］と合致する。したがって、車両Ｖが検出器２０２の検出領域である位置Ｓ２より後方に逆行し、検出領域外に達した場合、車両Ｖの状態は、状態ＳＴＳ１’Ｓ２’から状態ＳＴＳ１’に遷移する。すなわち状態ＳＴＳ１’は、車両Ｖが位置Ｓ１に存在していることを示す。
ここで、車両Ｖが位置Ｓ２から位置Ｓ１に進行することは、方向ｒｖに進行することを示す。方向ｒｖへの進行は異常遷移であるから、状態ＳＴＳ１’Ｓ２’から状態ＳＴＳ１’への遷移は異常遷移である。

【0059】

［状態ＳＴＰ１からの異常遷移］
状態ＳＴＰ１からの他の状態への異常遷移は、遷移Ｔ３７がある。
遷移Ｔ３７の遷移条件は、条件Ｃ［１００］である。検出結果ｒが条件Ｃ［１００］に合致した場合に、車両Ｖの状態は、遷移Ｔ３７にしたがって状態ＳＴＳ１’に遷移する。ここで、車両Ｖが位置Ｐ１から位置Ｓ１に進行して、位置Ｓ１に達した場合、検出結果ｒは“１００”であり、条件Ｃ［１００］と合致する。したがって、車両Ｖが位置Ｓ１に達した場合、車両Ｖの状態は、状態ＳＴＰ１から状態ＳＴＳ１’に遷移する。すなわち、状態ＳＴＳ１’は、車両Ｖが位置Ｓ１に存在していることを示す。
ここで、車両Ｖが位置Ｐ１から位置Ｓ１に進行することは、方向ｒｖに進行することを示す。方向ｒｖへの進行は異常遷移であるから、状態ＳＴＰ１から状態ＳＴＳ１’への遷移は異常遷移である。

【0060】

［状態ＳＴＳ１’からの異常遷移］
状態ＳＴＳ１’からの他の状態への異常遷移は、遷移Ｔ３８と、遷移Ｔ３９とがある。
遷移Ｔ３８の遷移条件は、条件Ｃ［１００］である。検出結果ｒが条件Ｃ［１００］に合致した場合に、車両Ｖの状態は、遷移Ｔ３８にしたがって遷移する。ここで、車両Ｖが位置Ｓ１に留まっている場合、検出結果ｒは“１００”であり、条件Ｃ［１００］と合致する。したがって、車両Ｖが位置Ｓ１に留まっている場合、車両Ｖの状態は、状態ＳＴＳ１’に保持される。すなわち、状態ＳＴＳ１’は、車両Ｖが位置Ｓ１に存在していることを示す。

【0061】

遷移Ｔ３９の遷移条件は、条件Ｃ［０００］である。検出結果ｒが条件Ｃ［０００］に合致した場合に、車両Ｖの状態は、遷移Ｔ３９にしたがって状態ＳＴＰ０に遷移する。ここで、車両Ｖが位置Ｓ１から位置Ｐ０に進行して、位置Ｐ０に達した場合、検出結果ｒは“０００”であり、条件Ｃ［０００］と合致する。したがって、車両Ｖが位置Ｐ０に達した場合、車両Ｖの状態は、状態ＳＴＳ１’から状態ＳＴＰ０に遷移する。すなわち、状態ＳＴＰ０は、車両Ｖが位置Ｐ０に存在していることを示す。
ここで、車両Ｖが位置Ｓ１から位置Ｐ０に進行することは、方向ｒｖに進行することを示す。方向ｒｖへの進行は異常遷移であるから、状態ＳＴＳ１’から状態ＳＴＰ０への遷移は異常遷移である。

【0062】

ここまで、遷移情報Ｉｎｆｏ１の正常遷移及び異常遷移について、状態毎に説明した。
次に、車両通過判定装置１０が、車両Ｖの状態の遷移を、正常遷移と、異常遷移とに判定する具体例について説明する。

【0063】

［車両Ｖが順方向に進行した場合］
はじめに、車両Ｖが順方向に進行した場合について説明する。この一例においては、車両Ｖが、位置Ｐ０、位置Ｓ１、位置Ｐ１、位置Ｓ２、位置Ｐ２、位置Ｓ３、位置Ｐ３と、順方向に進行した場合について説明する。この場合、車両Ｖの状態は、状態ＳＴＰ０、状態ＳＴＳ１、状態ＳＴＰ１、状態ＳＴＳ２、状態ＳＴＰ２、状態ＳＴＳ３、状態ＳＴＰ３の順に遷移する。この場合、すべての遷移が正常遷移である。この場合、車両通過判定装置１０は、これらすべての遷移を、正常遷移であると判定する。

【0064】

［車両Ｖが逆走した場合］
次に、車両Ｖが逆走した場合について説明する。この一例においては、車両Ｖが、方向ｄｒへ、位置Ｐ０、位置Ｓ１、位置Ｐ１まで進行したのち、方向ｒｖへ、位置Ｓ１、位置Ｐ０と、逆走した場合について説明する。この一例は、車両Ｖが料金所の車両通過レーンＬＴに進入したものの、例えば、先行車が停車したために、車両通過レーンＬＴの外に移動しようとして、車両Ｖが後退した場合を示す。この場合、車両Ｖの状態は、状態ＳＴＰ０、状態ＳＴＳ１、状態ＳＴＰ１、状態ＳＴＳ１’、状態ＳＴＰ０の順に遷移する。この場合、車両Ｖの状態の遷移のうち、状態ＳＴＰ０から状態ＳＴＳ１、及び状態ＳＴＳ１から状態ＳＴＰ１への遷移は、それぞれ正常遷移である。この場合、車両通過判定装置１０は、これらの遷移を、正常遷移であると判定する。また、車両Ｖの状態の遷移のうち、状態ＳＴＰ１から状態ＳＴＳ１’、及び状態ＳＴＳ１’から状態ＳＴＰ０への遷移は、それぞれ異常遷移である。この場合、車両通過判定装置１０は、これらの遷移を、異常遷移であると判定する。

【0065】

ここで、この遷移情報Ｉｎｆｏ１は、車両Ｖが存在する位置が同一であっても、正常遷移の状態と、異常遷移の状態とに分けて、状態が規定されている。したがって、車両通過判定装置１０は、車両Ｖが位置Ｓ１に存在する場合でも、状態ＳＴＳ１と、状態ＳＴＳ１’とに分けて、正常遷移と、異常遷移とを判定する。すなわち、車両通過判定装置１０は、車両Ｖの進行方向に基づいて車両Ｖの状態の遷移を、正常遷移と、異常遷移とに判定する。

【0066】

以下、図１に戻り本実施形態の車両検知システム１の構成の概要を説明する。
ここで、車両通過判定装置１０が遷移情報Ｉｎｆｏ１と、検出結果ｒとに基づいて正常遷移であるか、異常遷移であるかを判定した結果を、判定結果ｊと称する。
表示装置３０は、車両通過判定装置１０が判定した、判定結果ｊを表示する。表示装置３０は、ディスプレイを備えており、車両通過判定装置１０が判定した判定結果ｊを画面によって表示する。この一例の場合、例えば、料金所詰所内にいる料金収受員は、表示装置３０により表示された判定結果ｊに基づいて、異常遷移となる方向ｒｖへ進行している車両Ｖの有無を認識する。

【0067】

なお、ここでは表示装置３０がディスプレイである場合を一例として説明したが、これに限られない。表示装置３０は、車両通過判定装置１０が判定した結果を画像や音声など、人が認識できる方式で示すことができればよい。
また、ここでは表示装置３０が情報を提示する対象が、料金収受員である場合を一例として説明したが、これに限られない。

【0068】

また、車両位置検出装置２０と、車両通過判定装置１０とは、通信線Ｌ１と、通信線Ｌ２と、ネットワークＮによって接続されている。車両位置検出装置２０と、車両通過判定装置１０とは、専用ケーブルである通信線Ｌ１と、通信線Ｌ２とによって互いが接続されている。

【0069】

なお、ここでは車両通過判定装置１０と、車両位置検出装置２０とが、専用ケーブルで接続されている場合を一例として説明したが、これに限られない。車両通過判定装置１０と、車両位置検出装置２０とは、互いに情報の送受が可能な手段を備えていればよい。

【0070】

次に、車両検知システム１の構成の詳細について、図３を参照して説明する。
図３は、車両検知システム１の構成の一例を示す概要図である。

【0071】

車両位置検出装置２０は、検出器２０１と、検出器２０２と、検出器２０３によって車両Ｖの有無を検出し、検出結果ｒを車両通過判定装置１０へ出力する。

【0072】

車両通過判定装置１０について説明する。車両通過判定装置１０は、ＣＰＵ（Ｃｅｎｔｒａｌ Ｐｒｏｃｅｓｓｉｎｇ Ｕｎｉｔ）１１０と、記憶部１２０とを備える。
ＣＰＵ１１０は、その機能部としての取得部１１１と、判定部１１２と、出力部１１３とを備える。

【0073】

取得部１１１は、車両位置検出装置２０と接続されている。取得部１１１は、車両位置検出装置２０が送信した検出結果ｒを取得する。取得部１１１は、取得した検出結果ｒを、判定部１１２へ供給する。

【0074】

記憶部１２０には、遷移情報Ｉｎｆｏ１が予め記憶されている。
なお、ここでは、記憶部１２０が車両通過判定装置１０の内部に設置されている場合を一例として説明しているが、これに限られない。例えば、記憶部１２０は、車両通過判定装置１０の外部に設置されていてもよい。

【0075】

判定部１１２は、検出結果ｒを取得部１１１から取得する。判定部１１２は、記憶部１２０から遷移情報Ｉｎｆｏ１を読み出す。判定部１１２は、取得した検出結果ｒと、読み出した遷移情報Ｉｎｆｏ１とに基づいて車両Ｖの通過の判定をする。具体的には、判定部１１２は、検出結果ｒと、遷移情報Ｉｎｆｏ１とに基づいて、車両Ｖの状態の遷移が正常遷移であるか、異常遷移であるかを判定する。判定部１１２は、判定した判定結果ｊを出力部１１３へ供給する。

【0076】

出力部１１３は、表示装置３０と接続されている。出力部１１３は、判定部１１２から供給された判定結果ｊを表示装置３０へ供給する。

【0077】

表示装置３０は、車両通過判定装置１０の出力部１１３から供給された判定結果ｊに基づいて、予め設定された表示をする。予め設定された表示とは、例えば、正常遷移であれば「ＯＫ」の文字を、異常遷移であれば「ＮＧ」の文字をディスプレイに表示することをいう。

【0078】

なお、ここでは表示装置３０が「ＯＫ」の文字又は「ＮＧ」の文字を表示する場合を一例として説明したが、これに限られない。表示装置３０が情報を提示する対象が、正常遷移と、異常遷移とを判別することが可能であればよい。

【0079】

次に、車両通過判定装置１０の車両通過判定プログラムＰｒｇ１０に基づく動作について図４を参照して説明する。ここでは、車両通過判定装置１０が、車両Ｖの状態の遷移を正常遷移であるか、異常遷移であるかを判定する場合を一例として説明する。

【0080】

図４は、車両通過判定装置１０の動作の一例を示す流れ図である。車両通過判定装置１０は、車両通過判定プログラムＰｒｇ１０に基づいて、図４に示すステップＳ１１０から、ステップＳ１７０までを実行する。ここで、車両通過判定プログラムＰｒｇ１０とは、車両通過判定装置１０が、車両Ｖの状態の遷移が正常遷移であるか、異常遷移であるかを判定するための制御プログラムである。

【0081】

取得部１１１は、車両位置検出装置２０から検出結果ｒを取得する（ステップＳ１１０）。判定部１１２は、記憶部１２０から遷移情報Ｉｎｆｏ１を読み出す（ステップＳ１２０）。判定部１１２は、記憶部１２０から読み出した遷移情報Ｉｎｆｏ１と、取得部１１１から取得した検出結果ｒとに基づいて、遷移情報Ｉｎｆｏ１の車両Ｖの状態を更新する（ステップＳ１３０）。判定部１１２は、更新した車両Ｖの状態への遷移が、正常遷移であるか、異常遷移であるかを判定する（ステップＳ１４０）。車両通過判定装置１０は、判定結果ｊが正常遷移の場合、出力部１１３から正常遷移の判定結果ｊを出力する（ステップＳ１５０）。車両通過判定装置１０は、判定結果ｊが異常遷移の場合、出力部１１３から異常遷移の判定結果ｊを出力する（ステップＳ１６０）。判定部１１２は、更新された遷移情報Ｉｎｆｏ１を記憶部１２０へ書き込む（ステップＳ１７０）。

【0082】

以上説明したように、本実施形態の車両検知システム１は、車両通過判定装置１０と、車両位置検出装置２０と、表示装置３０とを備える。
車両通過判定装置１０は、取得部１１１と、判定部１１２と、出力部１１３と、記憶部１２０とを備える。取得部１１１は、車両の通過方向に複数並べられた車両位置検出装置２０がそれぞれ出力する車両の有無を示す検出結果ｒを取得する。記憶部１２０には、予め遷移情報Ｉｎｆｏ１が記憶されている。遷移情報Ｉｎｆｏ１は、車両位置検出装置２０が並べられている順序に基づく情報であって、検出結果ｒの組み合わせの遷移が、正常であるか異常であるかを示す情報である。判定部１１２は、取得部１１１が取得した検出結果ｒと、記憶部１２０に記憶されている遷移情報Ｉｎｆｏ１とに基づいて、検出結果ｒの組み合わせが正常遷移であるか、異常遷移であるかを判定する。出力部１１３は、判定部１１２による判定結果ｊを出力する。表示装置３０は、出力部１１３が出力する判定結果ｊを示す。
また、車両通過判定装置１０は、検出結果ｒと、遷移情報Ｉｎｆｏ１とに基づいて車両の状態の遷移を正常遷移と、異常遷移とに判定する。本実施形態の場合、遷移情報Ｉｎｆｏ１とは、図２に示す有限オートマトンである。図２に示す有限オートマトンは車両Ｖが同一の位置に存在していても、正常遷移と、異常遷移との場合で状態を区別する。すなわち、遷移、車両Ｖが存在する位置が同一であっても、状態を正常遷移と、異常遷移とによって状態を分けることにより、正常遷移と、異常遷移とを明確に判定する。
これにより、車両通過判定装置１０は、異常状態を判定するための設計作業及び設計の検証作業が煩雑になる程度を低減することができる。

【0083】

また、本実施形態の車両検知システム１が備える表示装置３０は、出力部１１３が出力する判定結果ｊを示す。
この表示装置３０は、ディスプレイを備えており、車両通過判定装置１０が判定した判定結果ｊを画面によって表示する。
これにより、料金所詰所内にいる料金収受員は、表示装置３０により表示された判定結果ｊに基づいて、異常遷移となる方向ｒｖへ進行している車両Ｖの有無を認識することができる。

【0084】

［第２の実施形態］
以下、図５を参照して第２の実施形態の概要について説明する。
図５は、本実施形態の車両検知システム１の構成の概要を示す模式図である。ここでは、車両検知システム１が設置されている場所が、料金所のゲートである場合を一例にして説明する。第１の実施形態と、第２の実施形態とでは、車両通過判定装置１０が備える記憶部１２０に、予め記憶される遷移情報Ｉｎｆｏ１が異なる。具体的には、第１の実施形態においては、遷移情報Ｉｎｆｏ１が有限オートマトンによって示される情報であるのに対し、第２の実施形態においては、遷移情報Ｉｎｆｏ１がペトリネットによって示される情報である点が異なる。ペトリネットは、プレース、トランジション、アーク、トークンの４つの要素を含んでおり、プレースにおけるトークンの有無によって対象のシステムの状態の移り変わりを表す。以下、本実施形態の遷移情報Ｉｎｆｏ１を説明するにあたって、まず、本実施形態の構成の概要を説明し、次に遷移情報Ｉｎｆｏ１であるペトリネットの詳細について説明する。

【0085】

本実施形態では、車両位置検出装置２０が、５つの検出器を備える場合を一例にして説明する。検出器２１１と、検出器２１２と、検出器２１３と、検出器２１４と、検出器２１５とは、料金所の車両通過レーンＬＴを通過する車両Ｖの通過方向に互いに所定の間隔をあけて、設置される。以下、これら５つの検出器を区別する場合には、検出器２１１、検出器２１２、検出器２１３、検出器２１４、及び検出器２１５と称し、５つの検出器を区別しない場合には、これらを総称して検出器２１０と称する。

【0086】

次に、本実施形態における車両位置検出装置２０の検出領域について説明する。本実施形態では、検出される対象である車両を、車両Ｖと称する。また、車両Ｖが料金所を通過する方向を方向ｄｒと称し、方向ｄｒと逆の方向を方向ｒｖと称する。また、方向ｄｒを、前方とも称する。方向ｒｖを、後方とも称する。

【0087】

検出器２１０は、車両の有無を検出した結果を、他の機器に出力する。以下の説明において、検出器２１１が車両の有無を検出した結果を、検出結果ｒ１１と称する。検出器２１２が車両の有無を検出した結果を、検出結果ｒ１２と称する。検出器２１３が車両の有無を検出した結果を、検出結果ｒ１３と称する。検出器２１４が車両の有無を検出した結果を、検出結果ｒ１４と称する。検出器２１５が車両の有無を検出した結果を、検出結果ｒ１５と称する。以下、検出結果ｒ１１と、検出結果ｒ１２と、検出結果ｒ１３と、検出結果ｒ１４と、検出結果ｒ１５とを区別しない場合には、これらを総称して検出結果ｒ１０と称する。以下、検出器２１０の検出結果ｒ１０が“車両あり”を示す場合には、検出結果ｒ１０の値が“１”であるとして説明する。また、検出器２１０の検出結果ｒ１０が“車両なし”を示す場合には、検出結果ｒ１０の値が“０”であるとして説明する。車両位置検出装置２０は、検出器２１０が検出した車両の有無を示す検出結果ｒ１０を、車両通過判定装置１０に出力する。

【0088】

この検出領域には、検出器２１０が車両Ｖの有無を検出可能な位置と、検出器２１０が車両Ｖの有無を検出不可能な位置とが含まれる。検出器２１０が車両Ｖの有無を検出可能な位置には、位置Ｓ１１と、位置Ｓ１２と、位置Ｓ１３と、位置Ｓ１４と、位置Ｓ１５が含まれる。位置Ｓ１１とは、検出器２１１が検出可能な位置である。位置Ｓ１２とは、検出器２１２が検出可能な位置である。位置Ｓ１３とは、検出器２１３が検出可能な位置である。位置Ｓ１４とは、検出器２１４が検出可能な位置である。位置Ｓ１５とは、検出器２１５が検出可能な位置である。すなわち、検出器２１１は、位置Ｓ１１に車両Ｖが存在するか否かを検出する。検出器２１２は、位置Ｓ１２に車両Ｖが存在するか否かを検出する。検出器２１３は、位置Ｓ１３に車両Ｖが存在するか否かを検出する。検出器２１４は、位置Ｓ１４に車両Ｖが存在するか否かを検出する。検出器２１５は、位置Ｓ１５に車両Ｖが存在するか否かを検出する。ここで、位置Ｓ１１を、検出器２１１の検出領域とも称する。位置Ｓ１２を、検出器２１２の検出領域とも称する。位置Ｓ１３を、検出器２１３の検出領域とも称する。位置Ｓ１４を、検出器２１４の検出領域とも称する。位置Ｓ１５を、検出器２１５の検出領域とも称する。

【0089】

検出器２１０が車両の有無を検出不可能な位置には、位置Ｓ１１よりも後方の位置Ｐ１０と、位置Ｓ１２と位置Ｓ１３との間の位置Ｐ１１とが含まれる。また、検出器２１０が車両の有無を検出不可能な位置には、位置Ｓ１３と位置Ｓ１４との間の位置Ｐ１２と、位置Ｓ１５よりも前方の位置Ｐ１３とが含まれる。本実施形態では、車両Ｖが料金所に到達してから、料金所を通過するまでの車両Ｖの位置は、これら７つの位置によって示される。
ここでは、検出器２１１と、検出器２１２とは近接して設置されており、検出器２１１と、検出器２１２との間隔が車両長ｘより短い場合について説明する。すなわち、検出器２１１と、検出器２１２との間には、検出器２１０が車両Ｖを検出しない領域は存在しない。また、検出器２１４と、検出器２１５とは近接して設置されており、検出器２１４と、検出器２１５との間隔が車両長ｘより短い場合について説明する。すなわち、検出器２１４と、検出器２１５の間には、検出器２１０が車両Ｖを検出しない領域は存在しない。
ここで、検出器２１２から検出器２１３までの距離を距離ｄ１と称する。検出器２１１から検出器２１３までの距離を距離ｄ２と称する。検出器２１３から検出器２１４までの距離を距離ｄ３と称する。検出器２１３から検出器２１５までの距離を距離ｄ４と称する。また、車両Ｖの車両の長さを車両長ｘと称する。
この一例では、各距離と、車両長ｘとの関係は、式（１）と、式（２）と、式（３）とによって示される。

【0090】

【数1】

【0091】

【数2】

【0092】

【数3】

【0093】

以下、車両Ｖの位置について、図５を参照して、より具体的に説明する。
まず、図５に示すように、車両Ｖが、方向ｄｒに向かって料金所を通過する場合について説明する。この場合、車両Ｖは、位置Ｐ１０、位置Ｓ１１、位置Ｓ１２、位置Ｐ１１、位置Ｓ１３、位置Ｐ１２、位置Ｓ１４、位置Ｓ１５、位置Ｐ１３の順に通過する。以下の説明において、車両Ｖが方向ｄｒに向かって進行する場合を、順方向の進行と称する。
次に、車両Ｖが、方向ｒｖに向かって料金所を通過する場合について説明する。この場合、車両Ｖが位置Ｐ１３から料金所に進入したとすると、車両Ｖは、位置Ｐ１３、位置Ｓ１５、位置Ｓ１４、位置Ｐ１２、位置Ｓ１３、位置Ｐ１１、位置Ｓ１２、位置Ｓ１１、位置Ｐ１０の順に通過する。以下の説明において、車両Ｖが方向ｒｖに向かって進行する場合を、逆方向の進行、又は逆走と称する。なお、車両Ｖがいずれの位置から進行を開始したかを問わず、車両Ｖが方向ｒｖに向かって進行すれば、逆走である。例えば、車両Ｖが位置Ｐ１１から位置Ｓ１２に向かって進行した場合には、逆走である。

【0094】

本実施形態では、車両通過判定装置１０は、検出器２１０の検出結果ｒ１０と遷移情報Ｉｎｆｏ１とに基づいて車両Ｖの通過の判定を行う。以下、図６を参照して、本実施形態の遷移情報Ｉｎｆｏ１の具体例について説明する。

【0095】

図６は、本実施形態における遷移情報Ｉｎｆｏ１の一例を示す状態遷移図である。上述の実施形態における状態遷移図は、有限オートマトンであるが、本実施形態における状態遷移図は、ペトリネットである。すなわち、本実施形態において遷移情報Ｉｎｆｏ１は、ペトリネットによって示される情報である。
本実施形態のペトリネットによって示される遷移情報Ｉｎｆｏ１において、プレースＰＣは、車両Ｖの状態を示す要素である。トランジションｔｓは、検出器２１０の検出結果ｒ１０に基づいて車両Ｖ状態の遷移の可否の条件を示す要素である。アークａは、プレースＰＣと、トランジションｔｓとを接続する要素であり、トークンｔｋが遷移する遷移先を示す。トークンｔｋは、車両通過レーンＬＴに存在する車両Ｖを示す要素である。本実施形態のペトリネットによって示される遷移情報Ｉｎｆｏ１は、車両Ｖを示すトークンｔｋが、車両Ｖの状態を示すプレースＰＣをトランジションｔｓに基づいて移動することにより、車両通過レーンＬＴ上に存在する車両Ｖの状態の変化を示す。
ここで、トランジションｔｓとして示される検出結果ｒ１０に基づいて設定される車両Ｖ状態の遷移の可否の条件のことを、発火条件とも称する。また、車両Ｖが車両通過レーンＬＴを移動することにより、トランジションｔｓの発火条件と合致して、トークンｔｋが次のプレースＰＣへ遷移することを、発火とも称する。次に、プレースＰＣの詳細な具体例について説明する。

【0096】

本実施形態のペトリネットによって示される遷移情報Ｉｎｆｏ１には、１５個のプレースＰＣが含まれる。以下、プレースＰＣの具体例について説明する。
プレースＰＣＰ１０は、位置Ｐ１０に存在していることを示す。プレースＰＣＳ１１は、位置Ｓ１１に存在していることを示す。プレースＰＣＳ１２は、位置Ｓ１２に車両Ｖが存在していること示す。プレースＰＣＰ１１は、位置Ｐ１１に車両Ｖが存在していることを示す。プレースＰＣＳ１３は、位置Ｓ１３に車両Ｖが存在していることを示す。プレースＰＣＰ１２は、位置Ｐ１２に車両Ｖが存在していることを示す。プレースＰＣＳ１４は、位置Ｓ１４に車両Ｖが存在していることを示す。プレースＰＣＳ１５は、位置Ｓ１５に車両Ｖが存在していることを示す。
また、プレースＰＣＳ１１Ｓ１２は、検出器２１１と、検出器２１２とに車両Ｖが検出され、二つの検出器の位置に跨って車両Ｖが存在していることを示す。プレースＰＣＳ１４Ｓ１５は、検出器２１４と、検出器２１５とに車両Ｖが検出され、二つの検出器の位置に跨って車両Ｖが存在していることを示す。

【0097】

また、車両Ｖの車両長ｘが距離ｄ２より長い場合、検出器２１１と、検出器２１２と、検出器２１３とが車両Ｖを検出することがある。プレースＰＣＳ１１Ｓ１２Ｓ１３は、車両長ｘが距離ｄ２より長く、検出器２１１、検出器２１２、及び検出器２１３が車両Ｖを検出する位置に車両Ｖが存在していること示す。また、車両Ｖの車両長ｘが距離ｄ１より長い場合、検出器２１２と、検出器２１３とが車両Ｖを検出することがある。プレースＰＣＳ１２Ｓ１３は、車両長ｘが距離ｄ１より長く、検出器２１２及び検出器２１３が車両Ｖを検出する位置に車両Ｖが存在していることを示す。また、車両Ｖの車両長ｘが距離ｄ３より長い場合、検出器２１３と、検出器２１４とが車両Ｖを検出することがある。プレースＰＣＳ１３Ｓ１４は、車両長ｘが距離ｄ３より長く、検出器２１３、及び検出器２１４が車両Ｖを検出する位置に車両Ｖが存在していることを示す。また、車両Ｖの車両長ｘが距離ｄ４より長い場合、検出器２１３と、検出器２１４と、検出器２１５とが車両Ｖを検出することがある。プレースＰＣＳ１３Ｓ１４Ｓ１５は、車両長ｘが距離ｄ４より長く、検出器２１３、検出器２１４、検出器２１５が車両Ｖを検出する位置に車両Ｖが存在していることを示す。

【0098】

次に、トランジションｔｓの概要について説明する。
本実施形態のペトリネットによって示される遷移情報Ｉｎｆｏ１には、２２個のトランジションｔｓが含まれる。トランジションｔｓは、発火前のプレースＰＣにトークンｔｋが予め設定された数存在しており、かつトランジションｔｓに示す発火条件が成立した場合に発火する。これにより、トークンｔｋは発火後のプレースＰＣへ遷移する。以下、トランジションｔｓに対して発火前にトークンｔｋが位置するプレースＰＣを遷移前のプレースＰＣとも称する。また、トランジションｔｓに対して発火後にトークンｔｋが位置するプレースＰＣを遷移先のプレースＰＣとも称する。
ここでは、本実施形態の遷移情報Ｉｎｆｏ１が有限容量ペトリネットによって示される場合を一例にして説明する。有限容量ペトリネットでは、各プレースＰＣに存在できるトークンｔｋの数を制限したい場合、各プレースＰＣに存在できるトークンｔｋの容量を予め定義される。ここで、各プレースＰＣに存在できるトークンｔｋの容量を容量関数Ｋと称する。各プレースＰＣには複数のトークンｔｋが存在する場合もあるが、この一例では、容量関数Ｋが、すべてのプレースＰＣで１である場合について説明する。次に、トランジションｔｓの詳細な具体例について説明する。

【0099】

トランジションｔｓ１は、発火前のトークンｔｋの位置がプレースＰＣＰ１０である場合に、検出結果ｒ１１が“０”から“１”へ変化することを発火条件とする。車両Ｖの移動に伴い、この発火条件が成立した場合、トランジションｔｓ１が発火する。トランジションのｔｓ１が発火することにより、トークンｔｋは、アークａ１と、トランジションｔｓ１と、アークａ２を介してプレースＰＣＳ１１に遷移する。
トランジションｔｓ２は、発火前のトークンｔｋの位置がプレースＰＣＳ１１である場合に、検出結果ｒ１１が“１”であり、かつ検出結果ｒ１２が“０”から“１”へ変化することを発火条件とする。車両Ｖの移動に伴い、この発火条件が成立した場合、トランジションｔｓ２が発火する。トランジションｔｓ２が発火することにより、トークンｔｋは、アークａ３と、トランジションｔｓ２と、アークａ４とを介してプレースＰＣＳ１１Ｓ１２に遷移する。
トランジションｔｓ３は、発火前のトークンｔｋの位置がプレースＰＣＳ１１Ｓ１２である場合に、検出結果ｒ１１が“１”であり、かつ検出結果ｒ１２が“１”であり、かつ検出結果ｒ１３が“０”から“１”へ変化することを発火条件とする。車両Ｖの移動に伴い、この発火条件が成立した場合、トランジションｔｓ３が発火する。トランジションｔｓ３が発火することにより、トークンｔｋは、プレースＰＣＳ１１Ｓ１２から、アークａ５と、トランジションｔｓ３と、アークａ６とを介してプレースＰＣＳ１１Ｓ１２Ｓ１３へ遷移する。
トランジションｔｓ４は、発火前のトークンｔｋの位置がプレースＰＣＳ１１Ｓ１２である場合に、検出結果ｒ１１が“１”から“０”へ変化すること、かつ検出結果ｒ１２が“１”であることを発火条件とする。車両Ｖの移動に伴い、この発火条件が成立した場合、トランジションｔｓ４が発火する。トランジションｔｓ４が発火することにより、トークンｔｋは、アークａ７と、トランジションｔｓ４と、アークａ８とを介してプレースＰＣＳ１２へ遷移する。

【0100】

トランジションｔｓ５は、発火前のトークンｔｋの位置がプレースＰＣＳ１１Ｓ１２Ｓ１３である場合に、検出結果ｒ１１が“１”から“０”へ変化すること、かつ検出結果ｒ１２が“１”であり、かつ検出結果ｒ１３が“１”であることを発火条件とする。車両Ｖの移動に伴い、この発火条件が成立した場合、トランジションｔｓ５が発火する。トランジションｔｓ５が発火することにより、トークンｔｋは、アークａ９と、トランジションｔｓ５と、アークａ１０とを介してプレースＰＣＳ１２Ｓ１３へ遷移する。
トランジションｔｓ６は、発火前のトークンｔｋの位置がプレースＰＣＳ１１Ｓ１２である場合に、検出結果ｒ１１が“１”から“０”へ変化すること、かつ検出結果ｒ１２が“１”であり、検出結果ｒ１３が“０”から“１”へ変化することを発火条件とする。車両Ｖの移動に伴い、この発火条件が成立した場合、トランジションｔｓ６が発火する。トランジションｔｓ６が発火することにより、トークンｔｋは、アークａ１１と、トランジションｔｓ６と、アークａ１２とを介してプレースＰＣＳ１２Ｓ１３へ遷移する。
トランジションｔｓ７は、発火前のトークンｔｋの位置がプレースＰＣＳ１２である場合に、検出結果ｒ１２が“１”であり、かつ検出結果ｒ１３が“０”から“１”へ変化することを発火条件とする。車両Ｖの移動に伴い、この発火条件が成立した場合、トランジションｔｓ７が発火する。トランジションｔｓ７が発火することにより、トークンｔｋは、アークａ１３と、トランジションｔｓ７と、アークａ１４とを介してプレースＰＣＳ１２Ｓ１３遷移する。
トランジションｔｓ８は、発火前のトークンｔｋの位置がプレースＰＣＳ１２である場合に、検出結果ｒ１２が“１”から“０”へ変化することを発火条件とする。車両Ｖの移動に伴い、この発火条件が成立した場合、トランジションｔｓ８が発火する。トランジションｔｓ８が発火することにより、トークンｔｋは、アークａ１５と、トランジションｔｓ８と、アークａ１６とを介してプレースＰＣＰ１１へ遷移する。

【0101】

トランジションｔｓ９は、発火前のトークンｔｋの位置がプレースＰＣＳ１２Ｓ１３である場合に、検出結果ｒ１２が“１”から“０”へ変化すること、かつ検出結果ｒ１３が“１”であることを発火条件とする。車両Ｖの移動に伴い、この発火条件が成立した場合、トランジションｔｓ９が発火する。トランジションｔｓ９が発火することにより、トークンｔｋは、アークａ１７と、トランジションｔｓ９と、アークａ１８とを介してプレースＰＣＳ１３へ遷移する。
トランジションｔｓ１０は、発火前のトークンｔｋの位置がプレースＰＣＳ１２である場合に、検出結果ｒ１２が“１”から“０”へ変化すること、かつ検出結果ｒ１３が“０”から“１”へ変化することを発火条件とする。車両Ｖの移動に伴い、この発火条件が成立した場合、トランジションｔｓ１０が発火する。トランジションｔｓ１０が発火することにより、トークンｔｋは、アークａ１９と、トランジションｔｓ１０と、アークａ２０とを介してプレースＰＣＳ１３へ遷移する。
トランジションｔｓ１１は、発火前のトークンｔｋの位置がプレースＰＣＰ１１である場合に、検出結果ｒ１３が“０”から“１”へ変化することを発火条件とする。車両Ｖの移動に伴い、この発火条件が成立した場合、トランジションｔｓ１１が発火する。トランジションｔｓ１１が発火することにより、トークンｔｋは、アークａ２１と、トランジションｔｓ１１と、アークａ２２とを介してプレースＰＣＳ１３へ遷移する。
トランジションｔｓ１２は、発火前のトークンｔｋの位置がプレースＰＣＳ１３である場合に、検出結果ｒ１３が“１”であること、かつ検出結果ｒ１４が“０”から“１”へ変化することを発火条件とする。車両Ｖの移動に伴い、この発火条件が成立した場合、トランジションｔｓ１２が発火する。トランジションｔｓ１２が発火することにより、トークンｔｋは、アークａ２３と、トランジションｔｓ１２と、アークａ２４とを介してプレースＰＣＳ１３Ｓ１４へ遷移する。

【0102】

トランジションｔｓ１３は、発火前のトークンｔｋの位置がプレースＰＣＳ１３である場合に、検出結果ｒ１３が“１”から“０”へ変化することを発火条件とする。車両Ｖの移動に伴い、この発火条件が成立した場合、トランジションｔｓ１３が発火する。トランジションｔｓ１３が発火することにより、トークンｔｋは、アークａ２５と、トランジションｔｓ１３と、アークａ２６とを介してプレースＰＣＰ１２へ遷移する。
トランジションｔｓ１４は、発火前のトークンｔｋの位置がプレースＰＣＳ１３Ｓ１４である場合に、検出結果ｒ１３が“１”であり、かつ検出結果ｒ１４が“１”であり、かつ検出結果ｒ１５が“０”から“１”へ変化することを発火条件とする。車両Ｖの移動に伴い、この発火条件が成立した場合、トランジションｔｓ１４が発火する。トランジションｔｓ１４が発火することにより、トークンｔｋは、アークａ２７と、トランジションｔｓ１４と、アークａ２８とを介してプレースＰＣＳ１３Ｓ１４Ｓ１５へ遷移する。
トランジションｔｓ１５は、発火前のトークンｔｋの位置がプレースＰＣＳ１３Ｓ１４である場合に、検出結果ｒ１３が“１”から“０”へ変化すること、かつ検出結果ｒ１４が“１”であることを発火条件とする。車両Ｖの移動に伴い、この発火条件が成立した場合、トランジションｔｓ１５が発火する。トランジションｔｓ１５が発火することにより、トークンｔｋは、アークａ２９と、トランジションｔｓ１５と、アークａ３０とを介してプレースＰＣＳ１４へ遷移する。
トランジションｔｓ１６は、発火前のトークンｔｋの位置がプレースＰＣＳ１３である場合に、検出結果ｒ１３が“１”から“０”へ変化すること、かつ検出結果ｒ１４が“０”から“１”へ変化することを発火条件とする。車両Ｖの移動に伴い、この発火条件が成立した場合、トランジションｔｓ１６が発火する。このトランジションｔｓ１６が発火することにより、トークンｔｋは、アークａ３１と、トランジションｔｓ１６と、アークａ３２とを介してプレースＰＣＳ１４へ遷移する。

【0103】

トランジションｔｓ１７は、発火前のトークンｔｋの位置がプレースＰＣＰ１２である場合に、検出結果ｒ１４が“０”から“１”へ変化することを発火条件とする。車両Ｖの移動に伴い、この発火条件が成立した場合、トランジションｔｓ１７が発火する。トランジションｔｓ１７が発火することにより、トークンｔｋは、アークａ３３と、トランジションｔｓ１７と、アークａ３４とを介してプレースＰＣＳ１４へ遷移する。
トランジションｔｓ１８は、発火前のトークンｔｋの位置がプレースＰＣＳ１３Ｓ１４Ｓ１５である場合に、検出結果ｒ１３が“１”から“０”変化すること、かつ検出結果ｒ１４が“１”であること、かつ検出結果ｒ１５が“１”であることを発火条件とする。車両Ｖの移動に伴い、この発火条件が成立した場合、トランジションｔｓ１８が発火する。トランジションｔｓ１８が発火することにより、トークンｔｋは、アークａ３５と、トランジションｔｓ１８と、アークａ３６とを介してプレースＰＣＳ１４Ｓ１５へ遷移する。
トランジションｔｓ１９は、発火前のトークンｔｋの位置がプレースＰＣＳ１３Ｓ１４である場合に、検出結果ｒ１３が“１”から“０”へ変化すること、かつ検出結果ｒ１４が“１”であること、かつ検出結果ｒ１５が“０”から“１”へ変化することを発火条件とする。車両Ｖの移動に伴い、この発火条件が成立した場合、トランジションｔｓ１９が発火する。トランジションｔｓ１９が発火することにより、トークンｔｋは、アークａ３７と、トランジションｔｓ１９と、アークａ３８とを介してプレースＰＣＳ１４Ｓ１５へ遷移する。
トランジションｔｓ２０は、発火前のトークンｔｋの位置がプレースＰＣＳ１４である場合に、検出結果ｒ１４が“１”であり、かつ検出結果ｒ１５が“０”から“１”へ変化することを発火条件とする。車両の移動に伴い、この発火条件が成立した場合、トランジションｔｓ２０は発火する。トランジションｔｓ２０が発火することにより、トークンｔｋは、アークａ３９と、トランジションｔｓ２０と、アークａ４０とを介してプレースＰＣＳ１４Ｓ１５へ遷移する。

【0104】

トランジションｔｓ２１は、発火前のトークンｔｋの位置がプレースＰＣＳ１４Ｓ１５である場合に、検出結果ｒ１４が“１”から“０”へ変化すること、かつ検出結果ｒ１５が“１”であることを発火条件とする。車両Ｖの移動に伴い、この発火条件が成立した場合、トランジションｔｓ２１が発火する。トランジションｔｓ２１が発火することにより、トークンｔｋは、アークａ４１と、トランジションｔｓ２１と、アークａ４２とを介してプレースＰＣＳ１５へ遷移する。
トランジションｔｓ２２は、発火前のトークンｔｋの位置がプレースＰＣＳ１５である場合に、検出結果ｒ１５が“１”から“０”へ変化することを発火条件とする。車両Ｖの移動に伴い、この発火条件が成立した場合、トランジションｔｓ２２が発火する。トランジションｔｓ２２が発火することにより、トークンｔｋは、アークａ４３と、トランジションｔｓ２２と、アークａ４４とを介してプレースＰＣＰ１３へ遷移する。

【0105】

ここまで、トランジションｔｓの発火条件が成立した場合、トランジションｔｓが発火することにより、トークンｔｋが遷移先のプレースＰＣへ遷移する場合について説明した。このトランジションｔｓの発火は、上述した発火条件の他に、抑止アークｎａと、プレース時間とによって条件づけられる。以下、まずは抑止アークｎａについて説明し、次にプレース時間について説明する。

【0106】

まず、抑止アークｎａについて説明する。本実施形態のペトリネットによって示される遷移情報Ｉｎｆｏ１には、プレースＰＣと、トランジションｔｓとを接続するアークａの他に、抑止アークｎａが存在する。この抑止アークｎａによってトランジションｔｓに接続されるプレースＰＣにトークンｔｋが存在している場合、トランジションｔｓの発火を抑止する。ここで、抑止アークｎａによって接続されるプレースを抑止プレースＰＣＤと称する。
抑止アークｎａによってトランジションｔｓに接続される抑止プレースＰＣＤは、アークａによってトランジションｔｓに接続されるプレースＰＣの状態を示す。すなわち、アークａによってトランジションｔｓに接続されるプレースＰＣにトークンｔｋが存在する場合、抑止アークｎａによって接続される抑止プレースＰＣＤにもトークンｔｋが存在する。また、アークａによってトランジションｔｓに接続されるプレースＰＣにトークンｔｋが存在しない場合、抑止アークｎａによって接続される抑止プレースＰＣＤにもトークンｔｋが存在しない。

【0107】

ここで、トランジションｔｓ２０に接続される抑止プレースＰＣＤ１３を例にして説明する。トランジションｔｓ２０には、抑止プレースＰＣＤ１３が接続される。この抑止プレースＰＣＤ１３には、プレースＰＣＳ１５が含まれる。この抑止プレースＰＣＤ１３に含まれるプレースＰＣＳ１５は、プレースＰＣＳ１５の状態を示す。すなわち、プレースＰＣＳ１５にトークンｔｋが存在する場合、抑止プレースＰＣＤ１３に含まれるプレースＰＣＳ１５にもトークンｔｋが存在する。この抑止プレースＰＣＤ１３に含まれるプレースＰＣＳ１５にトークンｔｋが存在する場合には、トランジションｔｓ２０は、発火が抑止される。また、プレースＰＣＳ１５にトークンｔｋが存在しない場合、抑止プレースＰＣＤ１３に含まれるプレースＰＣＳ１５にもトークンｔｋが存在しない。この抑止プレースＰＣＤ１３に含まれるプレースＰＣＳ１５にトークンｔｋが存在しない場合には、トランジションｔｓ２０は、発火が抑止されない。
ここで、抑止アークｎａによって接続される抑止プレースＰＣＤに、複数のプレースＰＣが含まれる場合がある。この場合、抑止プレースＰＣＤに含まれる複数のプレースＰＣの内、１つでもトークンｔｋが存在している間、トランジションｔｓは発火が抑止される。また、抑止プレースＰＣＤに複数のプレースＰＣが含まれる場合には、抑止プレースＰＣＤに含まれるプレースＰＣを総称して抑止プレースＰＣＤと称する。
以下、抑止プレースＰＣＤの具体例について説明する。

【0108】

抑止プレースＰＣＤ１は、トランジションｔｓ１に接続される。この抑止プレースＰＣＤ１には、プレースＰＣＳ１１Ｓ１２と、プレースＰＣＳ１１Ｓ１２Ｓ１３とが含まれる。抑止プレースＰＣＤ２は、トランジションｔｓ２に接続される。この抑止プレースＰＣＤ２には、プレースＰＣＳ１２と、プレースＰＣＳ１２Ｓ１３とが含まれる。抑止プレースＰＣＤ３は、トランジションｔｓ３に接続される。この抑止プレースＰＣＤ３には、プレースＰＣＰ１１と、プレースＰＣＳ１３と、プレースＰＣＳ１３Ｓ１４と、プレースＰＣＳ１３Ｓ１４Ｓ１５とが含まれる。抑止プレースＰＣＤ４は、トランジションｔｓ６に接続される。この抑止プレースＰＣＤ４には、プレースＰＣＰ１１と、プレースＰＣＳ１３と、プレースＰＣＳ１３Ｓ１４と、プレースＰＣＳ１３Ｓ１４Ｓ１５とが含まれる。抑止プレースＰＣＤ５は、トランジションｔｓ７に接続される。この抑止プレースＰＣＤ５には、プレースＰＣＰ１１と、プレースＰＣＳ１３と、プレースＰＣＳ１３Ｓ１４と、プレースＰＣＳ１３Ｓ１４Ｓ１５とが含まれる。

【0109】

抑止プレースＰＣＤ６は、トランジションｔｓ１０に接続される。この抑止プレースＰＣＤ６には、プレースＰＣＰ１１と、プレースＰＣＳ１３Ｓ１４と、プレースＰＣＳ１３Ｓ１４Ｓ１５とが含まれる。抑止プレースＰＣＤ７は、トランジションｔｓ１１に接続される。この抑止プレースＰＣＤ７には、プレースＰＣＳ１３Ｓ１４と、プレースＰＣＳ１３Ｓ１４Ｓ１５とが含まれる。抑止プレースＰＣＤ８は、トランジションｔｓ１２に接続される。この抑止プレースＰＣＤ８には、プレースＰＣＰ１２と、プレースＰＣＳ１４と、プレースＰＣＳ１４Ｓ１５とが含まれる。抑止プレースＰＣＤ９は、トランジションｔｓ１４に接続される。この抑止プレースＰＣＤ９には、プレースＰＣＳ１５が含まれる。抑止プレースＰＣＤ１０は、トランジションｔｓ１６に接続される。この抑止プレースＰＣＤ１０には、プレースＰＣＰ１２と、プレースＰＣＳ１４Ｓ１５とが含まれる。抑止プレースＰＣＤ１１は、トランジションｔｓ１７に接続される。この抑止プレースＰＣＤ１１には、プレースＰＣＳ１４Ｓ１５が含まれる。抑止プレースＰＣＤ１２は、トランジションｔｓ１９に接続される。この抑止プレースＰＣＤ１２には、プレースＰＣＳ１５が含まれる。抑止プレースＰＣＤ１３は、トランジションｔｓ２０に接続される。この抑止プレースＰＣＤ１３には、プレースＰＣＳ１５が含まれる。

【0110】

次に、プレース時間について説明する。ここで、プレース時間とは、トークンｔｋがプレースＰＣに遷移してから、そのプレースＰＣに存在する時間を示す。トランジションｔｓは、プレース時間の中でも、トランジションｔｓの遷移前のプレースＰＣにおけるトークンｔｋの存在時間に基づいて、発火を抑止する。このトランジションｔｓの遷移前のプレースＰＣにおけるトークンｔｋの存在時間をプレース滞在時間θと称する。
このプレース滞在時間θに基づいて発火を抑止する条件は、下限と、上限との２つ設定される。この下限における条件を最小プレース時間θｍｉｎと称する。また、上限における条件を最大プレース時間θｍａｘと称する。
具体的には、トランジションｔｓに最小プレース時間θｍｉｎが設定される場合、プレース滞在時間θが、最小プレース時間θｍｉｎに達するまでトランジションｔｓは発火しない。また、トランジションｔｓに最大プレース時間θｍａｘが設定される場合、プレース滞在時間θが、最大プレース時間θｍａｘよりも経過するとトランジションｔｓは発火しない。

【0111】

この一例の場合、本実施形態のペトリネットによって示される遷移情報Ｉｎｆｏ１に含まれるすべてのトランジションｔｓには、最大プレース時間θｍａｘが設定される。この最大プレース時間θｍａｘは、すべて異常状態判定時間Ｔｍａｘとする。この異常状態判定時間Ｔｍａｘとは、プレース滞在時間θにトークンｔｋが存在し続けることによって、車両通過判定装置１０が異常遷移であると判定する時間である。
これにより、トランジションｔｓの遷移前のプレースＰＣに存在するトークンｔｋのプレース滞在時間θが最大プレース時間θｍａｘより長い場合、トランジションｔｓは発火しない。すなわち、検出器２１０の検出結果ｒ１０が変化した場合であっても、その変化が最大プレース時間θｍａｘより長い場合、トランジションｔｓは発火しない。これにより、例えば、検出器２１０にゴミなどの遮蔽物が付着した場合、検出結果ｒ１０は、最大プレース時間θｍａｘより長い時間“１”となる。このため、車両通過判定装置１０は、正常な遷移であると判定しない。
以下、トランジションｔｓに設定される最小プレース時間θｍｉｎの具体例について説明する。

【0112】

トランジションｔｓ１は、遷移前のプレースＰＣがプレースＰＣＰ１０である。このプレースＰＣＰ１０は、車両通過判定装置１０の判定外となる状態であるので、最小プレース時間θｍｉｎは設定されない。トランジションｔｓ２は、最小プレース時間θｍｉｎ１が設定される。この最小プレース時間θｍｉｎ１は、（距離ｄ２−距離ｄ１）／最大速度ＳＰｍａｘによって示される。ここで、車両Ｖが車両通過レーンＬＴを通過する最大の速度を、最大速度ＳＰｍａｘと称する。すなわち、最小プレース時間θｍｉｎ１は、距離ｄ２と距離ｄ１との差によって示される距離を、車両Ｖが最大速度ＳＰｍａｘで通過する場合に要する時間を示す。トランジションｔｓ３と、トランジションｔｓ６とは、最小プレース時間θｍｉｎ２が設定される。この最小プレース時間θｍｉｎ２は、距離ｄ１／最大速度ＳＰｍａｘによって示される。すなわち、最小プレース時間θｍｉｎは、距離ｄ１を車両Ｖが最大速度ＳＰｍａｘおいて通過する場合に要する時間を示す。トランジションｔｓ４は、最小プレース時間θｍｉｎ３が設定される。この最小プレース時間θｍｉｎ３は、（車両長ｘ−（距離ｄ２−距離ｄ１））／最大速度ＳＰｍａｘによって示される。すなわち、最小プレース時間θｍｉｎ３は、車両長ｘと、距離ｄ２との距離ｄ１との差によって示される距離との差を、車両Ｖの最大速度ＳＰｍａｘにおいて通過する場合に要する時間を示す。

【0113】

トランジションｔｓ５は、最小プレース時間θｍｉｎ４が設定される。この最小プレース時間θｍｉｎ４は、（車両長ｘ−距離ｄ２）／最大速度ＳＰｍａｘによって示される。すなわち、最小プレース時間θｍｉｎ４は、車両長ｘと、距離ｄ２との差によって示される距離を、車両Ｖが最大速度ＳＰｍａｘにおいて通過する場合に要する時間を示す。トランジションｔｓ７と、トランジションｔｓ１０とは、最小プレース時間θｍｉｎ５が設定される。この最小プレース時間θｍｉｎ５は、（距離ｄ２−車両長ｘ）／最大速度ＳＰｍａｘによって示される。すなわち、最小プレース時間θｍｉｎ５は、距離ｄ２と、車両長ｘとの差によって示される距離を、車両Ｖが最大速度ＳＰｍａｘにおいて通過する場合に要する時間を示す。トランジションｔｓ８は、最小プレース時間θｍｉｎ６が設定される。この最小プレース時間θｍｉｎ６は、（距離ｄ２−距離ｄ１）／最大速度ＳＰｍａｘによって示される。すなわち、最小プレース時間θｍｉｎ６は、距離ｄ２と、距離ｄ１との差によって示される距離を、車両Ｖが最大速度ＳＰｍａｘにおいて通過する場合に要する時間を示す。

【0114】

トランジションｔｓ９は、最小プレース時間θｍｉｎ７が設定される。この最小プレース時間θｍｉｎ７は、（車両長ｘ−距離ｄ１）／最大速度ＳＰｍａｘによって示される。すなわち、最小プレース時間θｍｉｎ７は、車両長ｘと、距離ｄ１との差によって示される距離を、車両Ｖが最大速度ＳＰｍａｘにおいて通過する場合に要する時間を示す。
トランジションｔｓ１１は、最小プレース時間θｍｉｎ８が設定される。この最小プレース時間θｍｉｎ８は、（距離ｄ１−車両長ｘ）／最大速度ＳＰｍａｘによって示される。すなわち、最小プレース時間θｍｉｎ８は、距離ｄ１と、車両長ｘとの差によって示される距離を、車両Ｖが最大速度ＳＰｍａｘにおいて通過する場合に要する時間を示す。
トランジションｔｓ１２と、トランジションｔｓ１６には、最小プレース時間θｍｉｎ９が設定される。この最小プレース時間θｍｉｎ９は、（（距離ｄ１＋距離ｄ３）−車両長ｘ）／最大速度ＳＰｍａｘによって示される。すなわち、最小プレース時間θｍｉｎ９は、距離ｄ１と、距離ｄ３との和と、車両長ｘとの差によって示される距離を、車両Ｖが最大速度ＳＰｍａｘにおいて通過する場合に要する時間を示す。

【0115】

トランジションｔｓ１３は、最小プレース時間θｍｉｎ１０が設定される。この最小プレース時間θｍｉｎ１０は、車両長ｘ／最大速度ＳＰｍａｘによって示される。すなわち、最小プレース時間θｍｉｎ１０は、車両長ｘによって示される距離を、車両Ｖが最大速度ＳＰｍａｘにおいて通過する場合に要する時間を示す。トランジションｔｓ１４と、トランジションｔｓ１９とは、最小プレース時間θｍｉｎ１１が設定される。この最小プレース時間θｍｉｎ１１は、（距離ｄ４−距離ｄ３）／最大速度ＳＰｍａｘによって示される。すなわち、最小プレース時間θｍｉｎ１１は、距離ｄ４と、距離ｄ３との差によって示される距離を、車両Ｖが最大速度ＳＰｍａｘにおいて通過する場合に要する時間を示す。トランジションｔｓ１５は、最小プレース時間θｍｉｎ１２が設定される。この最小プレース時間θｍｉｎ１２は、（車両長ｘ−距離ｄ３）／最大速度ＳＰｍａｘによって示される。すなわち、最小プレース時間θｍｉｎ１２は、車両長ｘと、距離ｄ３との差によって示される距離を、車両Ｖが最大速度ＳＰｍａｘにおいて通過する場合に要する時間を示す。

【0116】

トランジションｔｓ１７は、最小プレース時間θｍｉｎ１３が設定される。この最小プレース時間θｍｉｎ１３は、（距離ｄ３−車両長ｘ）／最大速度ＳＰｍａｘによって示される。すなわち、最小プレース時間θｍｉｎ１３は、距離ｄ３と車両長ｘとの差によって示される距離を、車両Ｖが最大速度ＳＰｍａｘにおいて通過する場合に要する時間を示す。トランジションｔｓ１８は、最小プレース時間θｍｉｎ１４が設定される。この最小プレース時間θｍｉｎ１４は、（車両長ｘ−距離ｄ４）／最大速度ＳＰｍａｘによって示される。すなわち、最小プレース時間θｍｉｎ１４は、車両長ｘと、距離ｄ４との差によって示される距離を、車両Ｖが最大速度ＳＰｍａｘにおいて通過する場合に要する時間を示す。トランジションｔｓ２０は、最小プレース時間θｍｉｎ１５が設定される。この最小プレース時間θｍｉｎ１５は、（距離ｄ４−距離ｄ３）／最大速度ＳＰｍａｘによって示される。すなわち、最小プレース時間θｍｉｎ１５は、距離ｄ４と、距離ｄ３との差によって示される距離を、車両Ｖが最大速度ＳＰｍａｘにおいて通過する場合に要する時間を示す。

【0117】

トランジションｔｓ２１は、最小プレース時間θｍｉｎ１６が設定される。この最小プレース時間θｍｉｎ１６は、（車両長ｘ−（距離ｄ４−距離ｄ３）／最大速度ＳＰｍａｘによって示される。すなわち、最小プレース時間θｍｉｎ１６は、車両長ｘと、距離ｄ４との距離ｄ３との差によって示される距離との差を、車両Ｖが最大速度ＳＰｍａｘにおいて通過する場合に要する時間を示す。トランジションｔｓ２２は、最小プレース時間θｍｉｎ１７が設定される。この最小プレース時間θｍｉｎ１７は、（距離ｄ４−距離ｄ３）／最大速度ＳＰｍａｘによって示される。すなわち最小プレース時間θｍｉｎ１７は、距離ｄ４と、距離ｄ３との差によって示される距離を、車両Ｖが最大速度ＳＰｍａｘにおいて通過する場合に要する時間を示す。

【0118】

これにより、トランジションｔｓの遷移前のプレースＰＣに存在するトークンｔｋのプレース滞在時間θが最小プレース時間θｍｉｎに満たない場合、トランジションｔｓは発火しない。すなわち、検出器２１０の検出結果ｒ１０が変化した場合であっても、その変化が最小プレース時間θｍｉｎによって示される時間内である場合、トランジションｔｓは発火しない。これにより、例えば、検出器２１０にゴミなどの遮蔽物が付着し、更にそのゴミが風にあおられてはためく場合など、検出結果ｒ１０は、短い時間内で変化を繰り返す。この検出結果ｒ１０の変化が最小プレース時間θｍｉｎに満たない短い変化である場合、車両通過判定装置１０は、正常な遷移であると判定しない。

【0119】

また、トークンｔｋが、現在の状態のプレースＰＣから、トランジションｔｓを介して遷移先のプレースＰＣへ遷移する際、現在の状態のプレースＰＣにアークａが複数接続される場合がある。この複数あるアークａの内、トークンｔｋの遷移先を示すアークａは、アーク関数によって定義される。アーク関数とは、アークａに関連付けられるトークンｔｋの入出力条件を示す関数である。この一例の場合、アーク関数は予め設定される。
車両通過レーンＬＴを通過する車両Ｖは、その種類に応じて車両長ｘが異なる場合がある。この一例では、車両Ｖの車両長ｘの情報が予め取得されている場合について説明する。また、車両Ｖが車両通過レーンＬＴを通過する速度は、車両Ｖ毎に異なる場合がある。ここでは、車両Ｖが車両通過レーンＬＴを通過する速度を、車両速度ｓｐと称する。この一例では、車両Ｖの車両速度ｓｐの情報が予め取得されている場合について説明する。
この一例では、ペトリネットにおいて車両Ｖを示すトークンｔｋは、この車両Ｖの車両長ｘと、車両Ｖの速度ｓｐとを変数として備える場合について説明する。このトークンｔｋが備える車両長ｘと、車両速度ｓｐと、アーク関数とに基づいて、トークンｔｋの遷移先を示すアークａが定義される。以下、アーク関数の具体例について説明する。

【0120】

プレースＰＣＳ１１Ｓ１２に接続されるアークａは、３つ存在する。アーク関数ｆ１が成立する場合、トークンｔｋは、アークａ５を介して遷移する。また、アーク関数ｆ２が成立する場合、トークンｔｋは、アークａ１１を介して遷移する。また、アーク関数ｆ３が成立する場合、トークンｔｋは、アークａ７を介して遷移する。
アーク関数ｆ１は、車両長ｘ＞距離ｄ２によって示される。すなわち、車両長ｘが距離ｄ２よりも長い場合にアーク関数ｆ１が成立する。この場合、トークンｔｋは、プレースＰＣＳ１１Ｓ１２から、アークａ５と、トランジションｔｓ３と、アークａ６とを介してプレースＰＣＳ１１Ｓ１２Ｓ１３へ遷移する。
アーク関数ｆ２は、距離ｄ１＜車両長ｘ＜距離ｄ２かつ、車両速度ｓｐ＞（距離ｄ２−車両長ｘ）／サンプリング時間Ｔｓによって示される。ここで、サンプリング時間Ｔｓとは、検出器２１０が検出結果ｒ１０を車両通過判定装置１０へ出力する時間の間隔である。すなわち、車両長ｘが距離ｄ１よりも長く、距離ｄ２よりも短い場合であって、かつサンプリング時間Ｔｓによって示される時間の間に車両Ｖが方向ｄｒへ移動する距離が、距離ｄ２−車両長ｘによって示される距離よりも長い場合にアーク関数ｆ２が成立する。この場合、トークンｔｋは、プレースＰＣＳ１１Ｓ１２から、アークａ１１と、トランジションｔｓ６と、アークａ１２とを介してプレースＰＣＳ１２Ｓ１３へ遷移する。
アーク関数ｆ３は、距離ｄ１＜車両長ｘ＜距離ｄ２、かつ、車両速度ｓｐ＜（距離ｄ２−車両長ｘ）／サンプリング時間Ｔｓ、または、距離ｄ１＞車両長ｘによって示される。すなわち、車両長ｘが距離ｄ１よりも長く、距離ｄ２よりも短い場合であって、かつサンプリング時間Ｔｓの間に車両Ｖが方向ｄｒへ移動する距離が、距離ｄ２−車両長ｘによって示される距離よりも短い場合か、車両長ｘが距離ｄ１よりも短い場合にアーク関数ｆ３が成立する。この場合、トークンｔｋは、プレースＰＣＳ１１Ｓ１２から、アークａ７と、トランジションｔｓ４と、アークａ８とを介してプレースＰＣＳ１２へ遷移する。

【0121】

プレースＰＣＳ１２に接続されるアークａは、３つ存在する。アーク関数ｆ４が成立する場合、トークンｔｋは、アークａ１３を介して遷移する。また、アーク関数ｆ５が成立する場合、トークンｔｋは、アークａ１９を介して遷移する。また、アーク関数ｆ６が成立する場合、トークンｔｋは、アークａ１５を介して遷移する。

【0122】

アーク関数ｆ４は、車両長ｘ＞距離ｄ１によって示される。すなわち、車両長ｘが距離ｄ１よりも長い場合、アーク関数ｆ４が成立する。この場合、トークンｔｋは、プレースＰＣＳ１２から、アークａ１３と、トランジションｔｓ７と、アークａ１４とを介してプレースＰＣＳ１２Ｓ１３へ遷移する。アーク関数ｆ５は、車両長ｘ＜距離ｄ１と、車両速度ｓｐ＞（距離ｄ１−車両長ｘ）／サンプリング時間Ｔｓとによって示される。すなわち、車両長ｘが距離ｄ１よりも短い場合であって、かつサンプリング時間Ｔｓによって示される時間の間に車両Ｖが方向ｄｒへ移動する距離が、距離ｄ１−車両長ｘによって示される距離よりも長い場合に、アーク関数ｆ５が成立する。この場合、トークンｔｋは、プレースＰＣＳ１２から、アークａ１９と、トランジションｔｓ１０と、アークａ２０とを介してプレースＰＣＳ１３へ遷移する。アーク関数ｆ６は、車両長ｘ＜距離ｄ１と、車両速度ｓｐ＜（距離ｄ１−車両長ｘ）／サンプリング時間Ｔｓとによって示される。すなわち、車両長ｘが距離ｄ１よりも短い場合であって、かつサンプリング時間Ｔｓによって示される時間の間に車両Ｖが方向ｄｒへ移動する距離が、距離ｄ１−車両長ｘによって示される距離よりも短い場合に、アーク関数ｆ６が成立する。この場合、トークンｔｋは、プレースＰＣＳ１２から、アークａ１５と、トランジションｔｓ８と、アークａ１６とを介してプレースＰＣＰ１１へ遷移する。

【0123】

プレースＰＣＳ１３に接続されるアークａは、３つ存在する。アーク関数ｆ７が成立する場合、トークンｔｋは、アークａ２３を介して遷移する。また、アーク関数ｆ８が成立する場合、トークンｔｋは、は、アークａ３１を介して遷移する。また、アーク関数ｆ９が成立する場合、トークンｔｋは、アークａ２５を介して遷移する。

【0124】

アーク関数ｆ７は、車両長ｘ＞距離ｄ３によって示される。すなわち、車両長ｘが距離ｄ３よりも長い場合、アーク関数ｆ７が成立する。この場合、トークンｔｋは、プレースＰＣＳ１３から、アークａ２３と、トランジションｔｓ１２と、アークａ２４とを介してプレースＰＣＳ１３Ｓ１４へ遷移する。アーク関数ｆ８は、車両長ｘ＜距離ｄ３と、車両速度ｓｐ＞（距離ｄ３−車両長ｘ）／サンプリング時間Ｔｓによって示される。すなわち、車両長ｘが距離ｄ３よりも短い場合であって、かつサンプリング時間Ｔｓによって示される時間の間に車両Ｖが方向ｄｒへ移動する距離が、距離ｄ３−車両長ｘによって示される距離よりも長い場合に、アーク関数ｆ８が成立する。この場合、トークンｔｋは、プレースＰＣＳ１３から、アークａ３１と、トランジションｔｓ１６と、アークａ３２とを介してプレースＰＣＳ１４へ遷移する。アーク関数ｆ９は、車両長ｘ＜距離ｄ３と、車両速度ｓｐ＜（距離ｄ３−車両長ｘ）／サンプリング時間Ｔｓによって示される。すなわち、車両長ｘが距離ｄ３よりも短い場合であって、かつサンプリング時間Ｔｓによって示される時間の間に車両Ｖが方向ｄｒへ移動する距離が、距離ｄ３−車両長ｘによって示される距離よりも短い場合に、アーク関数ｆ９が成立する。この場合、トークンｔｋは、プレースＰＣＳ１３から、アークａ２５と、トランジションｔｓ１３と、アークａ２６とを介してプレースＰＣＰ１２へ遷移する。

【0125】

プレースＰＣＳ１３Ｓ１４に接続されるアークａは、３つ存在する。アーク関数ｆ１０が成立する場合、トークンｔｋは、アークａ２７を介して遷移する。また、アーク関数ｆ１１が成立する場合、トークンｔｋは、アークａ３７を介して遷移する。また、アーク関数ｆ１２が成立する場合、トークンｔｋは、アークａ２９を介して遷移する。

【0126】

アーク関数ｆ１０は、車両長ｘ＞距離ｄ４によって示される。すなわち、車両長ｘが距離ｄ４よりも長い場合、アーク関数ｆ１０が成立する。この場合、トークンｔｋは、プレースＰＣＳ１３Ｓ１４から、アークａ２７と、トランジションｔｓ１４と、アークａ２８とを介してプレースＰＣＳ１３Ｓ１４Ｓ１５へ遷移する。アーク関数ｆ１１は、車両長ｘ＜距離ｄ４と、車両速度ｓｐ＞（距離ｄ４−車両長ｘ）／サンプリング時間Ｔｓによって示される。すなわち、車両長ｘが距離ｄ４よりも短い場合であって、かつサンプリング時間Ｔｓによって示される時間の間に車両Ｖが方向ｄｒへ移動する距離が、距離ｄ４−車両長ｘによって示される距離よりも長い場合に、アーク関数ｆ１１が成立する。この場合、トークンｔｋは、プレースＰＣＳ１３Ｓ１４から、アークａ３７と、トランジションｔｓ１９と、アークａ３８とを介してプレースＰＣＳ１４Ｓ１５へ遷移する。アーク関数ｆ１２は、車両長ｘ＜距離ｄ４と、車両速度ｓｐ＜（距離ｄ４−車両長ｘ）／サンプリング時間Ｔｓによって示される。すなわち、車両長ｘが距離ｄ４よりも短い場合であって、かつサンプリング時間Ｔｓによって示される時間の間に車両Ｖが方向ｄｒへ移動する距離が、距離ｄ４−車両長ｘによって示される距離よりも短い場合に、アーク関数ｆ１２が成立する。この場合、トークンｔｋは、プレースＰＣＳ１３Ｓ１４から、アークａ２９と、トランジションｔｓ１５と、アークａ３０とを介してプレースＰＣＳ１４へ遷移する。

【0127】

なお、ここではサンプリング時間Ｔｓが、検出器２１０が検出結果ｒ１０を車両通過判定装置１０へ出力する時間の間隔である場合について説明したが、これに限られない。検出器２１０は常に検出結果ｒ１０を車両通過判定装置１０へ出力しており、車両通過判定装置１０に検出結果ｒ１０の変化が認識される間隔をサンプリング時間Ｔｓとしてもよい。

【0128】

ここまで、本実施形態のペトリネットが示す遷移情報Ｉｎｆｏ１の遷移について、プレースＰＣ毎と、トランジションｔｓ毎とに説明した。これにより、遷移情報Ｉｎｆｏ１は、車両通過レーンＬＴを走行する車両Ｖを示すトークンｔｋとして示すことにより、車両Ｖの遷移の状態を示す。すなわち、遷移情報Ｉｎｆｏ１は、車両通過レーンＬＴを通過する車両Ｖの状態を示す。
ここで、本実施形態において、車両通過判定装置１０の、車両Ｖの正常遷移と、異常遷移とを判定する方法について説明する。本実施形態において、車両通過判定装置１０は、各プレースＰＣに存在するトークンｔｋのプレース滞在時間θが最大プレース時間θｍａｘを越えているか否かに基づいて判定する。具体的には、車両通過判定装置１０は、トークンｔｋのプレース滞在時間θが異常状態判定時間Ｔｍａｘを越えている場合、車両Ｖの状態の遷移を、異常遷移であると判定する。
次に、本実施形態において、車両通過判定装置１０が、車両Ｖの状態の遷移を、正常遷移と、異常遷移とに判定する具体例について説明する。

【0129】

［車両Ｖが方向ｄｒに進行する場合］
この一例では、車両Ｖ１台が、車両通過レーンＬＴを順方向に進行した場合について説明する。また、この一例において、車両Ｖが、位置Ｐ１０、位置Ｓ１１、位置Ｓ１２、位置Ｐ１１、位置Ｓ１３、位置Ｐ１２、位置Ｓ１４、位置Ｓ１５と、位置Ｐ１３と、順方向に進行した場合について説明する。この一例における車両Ｖを、車両Ｖ１と称する。車両Ｖ１の車両長ｘを、車両長ｘ１と称する。車両Ｖ１の車両速度ｓｐを、車両速度ｓｐ１と称する。また、この一例では、すべてのプレースＰＣにおいて最大プレース時間θｍａｘが異常状態判定時間Ｔｍａｘである場合について説明する。

【0130】

まず、車両Ｖ１が位置Ｐ１０に存在する場合、本実施形態のペトリネットが示す遷移情報Ｉｎｆｏ１のプレースＰＣＰ１０には、トークンｔｋが出現する。
ここで、車両Ｖ１の進行によって出現するトークンｔｋをトークンｔｋ１と称する。トークンｔｋ１は、トランジションｔｓ１の発火条件が成立し、かつ抑止プレースＰＣＤ１の条件が成立しない場合、遷移先のプレースＰＣへ遷移する。
車両Ｖ１が位置Ｓ１１へ進行することにより、トランジションｔｓ１の発火条件が成立し、トランジションｔｓ１が発火する。すなわち、トークンｔｋ１は、プレースＰＣＳ１１へ遷移する。

【0131】

トークンｔｋ１は、トランジションｔｓ２の発火条件が成立し、かつ抑止プレースＰＣＤ２の条件が成立しない場合に、遷移先のプレースＰＣへ遷移する。更に具体的には、トークンｔｋ１は、プレース滞在時間θが、最小プレース時間θｍｉｎ１より長く、異常状態判定時間Ｔｍａｘより短い場合に、遷移先のプレースＰＣへ遷移する。
車両Ｖ１は、最小プレース時間θｍｉｎ１によって示される時間経過後から、異常状態判定時間Ｔｍａｘによって示される時間の間に、車両Ｖ１の後尾が位置Ｓ１１、車両Ｖ１の先頭が位置Ｓ１２となる位置へ進行する。これにより、トランジションｔｓ２が発火する。すなわち、トークンｔｋ１は、プレースＰＣＳ１１Ｓ１２へ遷移する。

【0132】

この一例では、アーク関数ｆ３が成立する場合について説明する。
トークンｔｋ１は、トランジションｔｓ４の発火条件が成立する場合に、遷移先のプレースＰＣへ遷移する。更に具体的には、トークンｔｋ１は、プレース滞在時間θが、最小プレース時間θｍｉｎ３より長く、異常状態判定時間Ｔｍａｘより短い場合に、遷移先のプレースＰＣへ遷移する。
車両Ｖ１は、最小プレース時間θｍｉｎ３によって示される時間経過後から、異常状態判定時間Ｔｍａｘによって示される時間の間に位置Ｓ１２へ進行する。これにより、トランジションｔｓ４が発火する。すなわち、トークンｔｋ１は、プレースＰＣＳ１２へ遷移する。

【0133】

この一例の場合、アーク関数ｆ６が成立する場合について説明する。
トークンｔｋ１は、トランジションｔｓ８の発火条件が成立する場合に、遷移先のプレースＰＣへ遷移する。更に具体的には、トークンｔｋ１は、プレース滞在時間θが、最小プレース時間θｍｉｎ６より長く、異常状態判定時間Ｔｍａｘより短い場合に、遷移先のプレースＰＣへ遷移する。
車両Ｖ１は、最小プレース時間θｍｉｎ６によって示される時間経過後から、異常状態判定時間Ｔｍａｘによって示される時間の間に位置Ｐ１１へ進行する。これにより、トランジションｔｓ８が発火する。すなわち、トークンｔｋ１は、プレースＰＣＰ１１へ遷移する。

【0134】

トークンｔｋ１は、トランジションｔｓ１１の発火条件が成立し、かつ抑止プレースＰＣＤ７の条件が成立しない場合に、遷移先のプレースＰＣへ遷移する。更に具体的には、トークンｔｋ１は、プレース滞在時間θが、最小プレース時間θｍｉｎ８より長く、異常状態判定時間Ｔｍａｘより短い場合に、遷移先のプレースＰＣへ遷移する。
車両Ｖ１は、最小プレース時間θｍｉｎ８によって示される時間経過後から、異常状態判定時間Ｔｍａｘによって示される時間の間に位置Ｓ１３へ進行する。これにより、トランジションｔｓ１１が発火する。すなわち、トークンｔｋ１は、プレースＰＣＳ１３へ遷移する。

【0135】

この一例の場合、アーク関数ｆ９が成立する場合について説明する。
トークンｔｋ１は、トランジションｔｓ１３の発火条件が成立する場合に、遷移先のプレースＰＣへ遷移する。更に具体的には、トークンｔｋ１は、プレース滞在時間θが最小プレース時間θｍｉｎ１０より長く、異常状態判定時間Ｔｍａｘより短い場合に、遷移先のプレースＰＣへ遷移する。
車両Ｖ１は、最小プレース時間θｍｉｎ１０によって示される時間経過後から、異常状態判定時間Ｔｍａｘによって示される時間の間に位置Ｐ１２へ進行する。これにより、トランジションｔｓ１３が発火するすなわち、トークンｔｋ１は、プレースＰＣＰ１２へ遷移する。

【0136】

トークンｔｋ１は、トランジションｔｓ１７の発火条件が成立し、かつ抑止プレースＰＣＤ１１の条件が成立しない場合に、遷移先のプレースＰＣへ遷移する。更に具体的には、トークンｔｋ１は、プレース滞在時間θが、最小プレース時間θｍｉｎ１３より長く、異常状態判定時間Ｔｍａｘより短い場合に、遷移先のプレースＰＣへ遷移する。
車両Ｖ１は、最小プレース時間θｍｉｎ１３によって示される時間経過後から、異常状態判定時間Ｔｍａｘによって示される時間の間に位置Ｓ１４へ進行する。これにより、トランジションｔｓ１７が発火する。すなわち、トークンｔｋ１は、プレースＰＣＳ１４へ遷移する。

【0137】

トークンｔｋ１は、トランジションｔｓ２０の発火条件が成立し、かつ抑止プレースＰＣＤ１３の条件が成立しない場合に、遷移先のプレースＰＣへ遷移する。更に具体的には、トークンｔｋ１は、プレース滞在時間θが、最小プレース時間θｍｉｎ１５より長く、異常状態判定時間Ｔｍａｘより短い場合に、遷移先のプレースＰＣへ遷移する。
車両Ｖ１は、最小プレース時間θｍｉｎ１５によって示される時間経過後から、異常状態判定時間Ｔｍａｘによって示される時間の間に、車両Ｖ１の後尾が位置Ｓ１４、車両Ｖ１の先頭が位置Ｓ１５となる位置へ進行する。これにより、トランジションｔｓ２０が発火する。すなわち、トークンｔｋ１は、プレースＰＣＳ１４Ｓ１５へ遷移する。

【0138】

トークンｔｋ１は、トランジションｔｓ２１の発火条件が成立する場合に、遷移先プレースＰＣへ遷移する。更に具体的には、トークンｔｋ１は、プレース滞在時間θが最小プレース時間θｍｉｎ１６より長く、異常状態判定時間Ｔｍａｘより短い場合に、遷移先のプレースＰＣへ遷移する。
車両Ｖ１は、最小プレース時間θｍｉｎ１６によって示される時間経過後から、異常状態判定時間Ｔｍａｘによって示される時間の間に、位置Ｓ１５へ進行する。これにより、トランジションｔｓ２１が発火する。すなわち、トークンｔｋ１は、プレースＰＣＳ１５へ遷移する。

【0139】

トークンｔｋ１は、トランジションｔｓ２２の発火条件が成立する場合に、遷移先プレースＰＣへ遷移する。更に具体的には、トークンｔｋ１は、プレース滞在時間θが最小プレース時間θｍｉｎ１７より長く、異常状態判定時間Ｔｍａｘより短い場合に、遷移先のプレースＰＣへ遷移する。
車両Ｖ１は、最小プレース時間θｍｉｎ１７によって示される時間経過後から、異常状態判定時間Ｔｍａｘによって示される時間の間に、位置Ｐ１３へ進行する。これにより、トランジションｔｓ２２が発火する。すなわち、トークンｔｋ１は、プレースＰＣＰ１３へ遷移する。

【0140】

上述したように、車両Ｖが車両通過レーンＬＴを方向ｄｒへ進行している場合に、トークンｔｋのプレース滞在時間θが異常状態判定時間Ｔｍａｘを越えない場合、車両通過判定装置１０は、車両Ｖの状態遷移を正常遷移であると判定する。
次に、車両Ｖの状態遷移が異常遷移する場合について説明する。

【0141】

［車両Ｖが方向ｒｖに進行する場合］
この一例では、車両Ｖ１台が、車両通過レーンＬＴを逆方向に進行した場合について説明する。また、この一例において、車両Ｖが、位置Ｐ１０、位置Ｓ１１、位置Ｓ１２、位置Ｐ１１まで進行したのち、方向ｒｖへ逆走した場合について説明する。この一例における車両Ｖを、車両Ｖ２と称する。車両Ｖ２の車両長ｘを、車両長ｘ２と称する。車両Ｖ２の車両速度ｓｐを、車両速度ｓｐ２と称する。また、この一例では、すべてのプレースＰＣにおいて最大プレース時間θｍａｘが異常状態判定時間Ｔｍａｘである場合について説明する。また、車両Ｖ２が走行することにより、遷移情報Ｉｎｆｏ１に出現するトークンｔｋをトークンｔｋ２と称する。

【0142】

以下、車両Ｖ２がＰ１０から位置Ｐ１１まで進行するトークンｔｋ２の遷移は、トークンｔｋ１遷移と重複するので、詳細な説明を省略する。
車両Ｖ２が、位置Ｐ１１に存在する場合、トークンｔｋ２は、プレースＰＣＰ１１に存在する。このプレースＰＣＰ１１からの遷移は、トランジションｔｓ１１を介したプレースＰＣＳ１３のみである。
ここで車両Ｖ２が、方向ｒｖである位置Ｓ１２へ進行した場合、検出器２１２が車両Ｖ２を検出する。この検出結果ｒ１０の変化は、プレースＰＣＰ１１からの遷移であるトランジションｔｓ１１の発火条件を満たさないため、トークンｔｋ２は、プレースＰＣＰ１１に存在し続ける。すなわち、トークンｔｋ２のプレース滞在時間θは最大プレース時間θｍａｘより長くなる。これにより、車両通過判定装置１０は、車両Ｖは異常遷移であると判定する。

【0143】

なお、車両通過判定装置１０は、最大プレース時間θｍａｘを待たなくても、ペトリネットから外れた検知があった場合には、異常状態として判定してもよい。具体的には、車両通過判定装置１０は、トークンｔｋの遷移先となるトランジションｔｓと、検出結果ｒ１０とを比較する。これにより、車両通過判定装置１０は、このトランジションｔｓと、検出結果ｒ１０とに不一致がある場合には、異常状態として判定する。

【0144】

次に、車両通過判定装置１０の車両通過判定プログラムＰｒｇ２０に基づく動作について図７を参照して説明する。ここでは、車両通過判定装置１０が、車両Ｖの状態遷移が正常遷移であるか、異常遷移であるかを判定する場合を一例として説明する。

【0145】

図７は、車両通過判定装置１０の動作の一例を示す流れ図である。車両通過判定装置１０は、車両通過判定プログラムＰｒｇ２０に基づいて、図７に示すステップＳ２１０から、ステップＳ２７０までを実行する。ここで、車両通過判定プログラムＰｒｇ２０とは、車両通過判定装置１０が、車両Ｖの状態の遷移が正常遷移であるか、異常遷移であるかを判定するための制御プログラムである。

【0146】

取得部１１１は、車両位置検出装置２０から検出結果ｒ１０を取得する（ステップＳ２１０）。判定部１１２は、記憶部１２０から遷移情報Ｉｎｆｏ１を読み出す（ステップＳ２２０）。判定部１１２は、記憶部１２０から読み出した遷移情報Ｉｎｆｏ１と、取得部１１１から取得した検出結果ｒ１０とに基づいて、遷移情報Ｉｎｆｏ１の車両Ｖの状態を更新する（ステップＳ２３０）。判定部１１２は、更新した遷移情報Ｉｎｆｏ１の中に、ペトリネットから外れたトークンｔｋが存在するか否かを判定する（ステップＳ２３５）。ペトリネットから外れたトークンｔｋが存在する場合、車両通過判定装置１０は、出力部１１３から異常遷移の判定結果ｊを出力する（ステップＳ２６０）。ペトリネットから外れたトークンｔｋが存在しない場合（ステップＳ２３５：ＮＯ）、処理をステップＳ２４０へ進める。判定部１１２は、更新した遷移情報Ｉｎｆｏ１の中に、プレース滞在時間θが最大プレース時間θｍａｘより長いトークンｔｋが存在するか否かを判定する（ステップＳ２４０）。車両通過判定装置１０は、判定結果ｊが正常遷移の場合、出力部１１３から正常遷移の判定結果ｊを出力する（ステップＳ２５０）。車両通過判定装置１０は、判定結果ｊが異常遷移の場合、出力部１１３から異常遷移の判定結果ｊを出力する（ステップＳ２６０）。判定部１１２は、更新された遷移情報Ｉｎｆｏ１を記憶部１２０へ書き込む（ステップＳ２７０）。

【0147】

以上説明したように、本実施形態の遷移情報Ｉｎｆｏ１はペトリネットによって示される。ペトリネット上において車両Ｖをトークンｔｋとして示すことにより、車両Ｖの状態は、トークンｔｋが存在するプレースＰＣによって示される。また、遷移情報Ｉｎｆｏ１としてペトリネットを使用することにより、複数のトークンｔｋの状態が同時に示される。すなわち、遷移情報Ｉｎｆｏ１としてペトリネットを使用することにより、複数の車両Ｖの状態が同時に示される。これにより、車両通過判定装置１０は、複数の車両Ｖの状態の遷移を同時に判定することができる。

【0148】

以上、本発明の実施形態を、図面を参照して詳述してきたが、具体的な構成はこの実施形態に限られるものではなく、本発明の趣旨を逸脱しない範囲で適宜変更を加えることができる。上述した各実施形態に記載の構成を組み合わせてもよい。

【0149】

なお、上記の実施形態における車両通過判定装置１０が備える各部は、専用のハードウェアにより実現されるものであってもよく、また、メモリおよびマイクロプロセッサにより実現させるものであってもよい。

【0150】

なお、車両通過判定装置１０が備える各部は、メモリおよびＣＰＵ（中央演算装置）により構成され、車両通過判定装置１０が備える各部の機能を実現するためのプログラムをメモリにロードして実行することによりその機能を実現させるものであってもよい。

【0151】

また、車両通過判定装置１０が備える各部の機能を実現するためのプログラムをコンピュータ読み取り可能な記録媒体に記録して、この記録媒体に記録されたプログラムをコンピュータシステムに読み込ませ、実行することにより、制御部が備える各部による処理を行ってもよい。なお、ここでいう「コンピュータシステム」とは、ＯＳや周辺機器等のハードウェアを含むものとする。

【0152】

また、「コンピュータシステム」は、ＷＷＷシステムを利用している場合であれば、ホームページ提供環境（あるいは表示環境）も含むものとする。
また、「コンピュータ読み取り可能な記録媒体」とは、フレキシブルディスク、光磁気ディスク、ＲＯＭ、ＣＤ−ＲＯＭ等の可搬媒体、コンピュータシステムに内蔵されるハードディスク等の記憶装置のことをいう。さらに「コンピュータ読み取り可能な記録媒体」とは、インターネット等のネットワークや電話回線等の通信回線を介してプログラムを送信する場合の通信線のように、短時間の間、動的にプログラムを保持するもの、その場合のサーバやクライアントとなるコンピュータシステム内部の揮発性メモリのように、一定時間プログラムを保持しているものも含むものとする。また上記プログラムは、前述した機能の一部を実現するためのものであってもよく、さらに前述した機能をコンピュータシステムにすでに記録されているプログラムとの組み合わせで実現できるものであってもよい。

【符号の説明】

【0153】

１０…車両通過判定装置、２０…車両位置検出装置、３０…表示装置、１１１…取得部、１１２…判定部、１１３…出力部、１２０…記憶部、ＰＣ…プレース、ｔｓ…トランジション、ｔｋ…トークン、ａ…アーク

【図1】

【図2】

【図3】

【図4】

【図5】

【図6】

【図7】