時間制約付きカラーペトリネットで記述されたワークフローからのスケジュール導出

山口, 昭; 岡野, 浩三; 谷口, 健一

このアイテムのアクセス数:55件（2020-11-26 02:03 集計）

このアイテムへのリンクには次のURLをご利用ください:http://hdl.handle.net/11094/27444

閲覧可能ファイル

ファイル	フォーマット	サイズ	閲覧回数	説明
itr101_629_023	pdf	727 KB	32

論文情報

タイトル	時間制約付きカラーペトリネットで記述されたワークフローからのスケジュール導出
別タイトル	Deriving Work Schedules from Workflow Description in Coloured Petri-nets with Time Constraints
タイトル (ヨミ)	ジカン　セイヤク　ツキ　カラーペトリネット　デ　キジュツ　サレタ　ワークフロー　カラ　ノ　スケジュール　ドウシュツ
著者	山口, 昭山口, 昭
	岡野, 浩三岡野, 浩三
	谷口, 健一谷口, 健一
著者の別表記	Yamaguchi, Akira
	Okano, Kozo
	Taniguchi, Kenichi
著者 (ヨミ)	ヤマグチ, アキラ
	オカノ, コウゾウ
	タニグチ, ケンイチ
キーワード等	コラボレートワーク
	ワークフロー
	時間ペトリネット
	スケジュール導出
	可到達解析
	collaborate work
	workflow
	timed Petri-net
	work schedules
	reachability analysis
抄録	本研究ではワークフローを記述するための, 時間制約付きカラーペトリネットを提案する.この時間制約付きカラーペトリネットを用いて, 作業の中断再開およびそれにともなう経過累積作業時間を表現でき, 時間制約を持つグループワークを自然に表現することができる.また, コラボレートワークを行う各作業者向けのスケジュールを, 時間制約付きカラーペトリネットで記述されたグループ全体のワークフローから導出する方法を提案する.スケジュール導出は, ペトリネットの可到達木を作成して行う.提案する方式に基づくグループウェアの概要についても述べる.
抄録	This paper proposes coloured Petri-net model with time constraints suitable for describing workflows. Using the coloured Petri-net model with time constraints (timed CPN), we can represent suspend and resume of a task and elapse work time. We can, thus, naturally represent groupwork with time constraints. Also we give a method to derive each worker's work schedule from a workflow in our timed CPN. The method uses a reachability analysis of the nets. We also explain a simple groupware system using our approach.
公開者	電子情報通信学会
公開者の別表記	The Institute of Electronics, Information and Communication Engineers
公開者 (ヨミ)	デンシ　ジョウホウ　ツウシン　ガッカイ
掲載誌名	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
巻	101
号	629
開始ページ	23
終了ページ	30
刊行年月	2002-01-23
ISSN	09135685
NCID	AN10013287
URL	http://hdl.handle.net/11094/27444
権利情報	Copyright © 2002 IEICE
権利情報	本文データはCiNiiから複製したものである
言語	日本語
カテゴリ	学術雑誌論文 Journal Article

著者版フラグ	publisher
NII資源タイプ	学術雑誌論文
ローカル資源タイプ	学術雑誌論文
dcmi資源タイプ	text
DCTERMS.bibliographicCitation	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス.101(629) P.23-P.30
DC.title	時間制約付きカラーペトリネットで記述されたワークフローからのスケジュール導出
DCTERMS.alternative	Deriving Work Schedules from Workflow Description in Coloured Petri-nets with Time Constraints
DC.creator	山口, 昭
	岡野, 浩三
	谷口, 健一
DC.creator	Yamaguchi, Akira
	Okano, Kozo
	Taniguchi, Kenichi
DC.publisher	電子情報通信学会
DC.language" scheme="DCTERMS.RFC1766	日本語
DCTERMS.issued" scheme="DCTERMS.W3CDTF	2002-01-23
DC.identifier" scheme="DCTERMS.URI	http://hdl.handle.net/11094/27444
DC.subject	コラボレートワーク
	ワークフロー
	時間ペトリネット
	スケジュール導出
	可到達解析
	collaborate work
	workflow
	timed Petri-net
	work schedules
	reachability analysis
DCTERMS.abstract	本研究ではワークフローを記述するための, 時間制約付きカラーペトリネットを提案する.この時間制約付きカラーペトリネットを用いて, 作業の中断再開およびそれにともなう経過累積作業時間を表現でき, 時間制約を持つグループワークを自然に表現することができる.また, コラボレートワークを行う各作業者向けのスケジュールを, 時間制約付きカラーペトリネットで記述されたグループ全体のワークフローから導出する方法を提案する.スケジュール導出は, ペトリネットの可到達木を作成して行う.提案する方式に基づくグループウェアの概要についても述べる.
DCTERMS.abstract	This paper proposes coloured Petri-net model with time constraints suitable for describing workflows. Using the coloured Petri-net model with time constraints (timed CPN), we can represent suspend and resume of a task and elapse work time. We can, thus, naturally represent groupwork with time constraints. Also we give a method to derive each worker's work schedule from a workflow in our timed CPN. The method uses a reachability analysis of the nets. We also explain a simple groupware system using our approach.
DC.rights	Copyright © 2002 IEICE
DC.rights	本文データはCiNiiから複製したものである
citation_title	時間制約付きカラーペトリネットで記述されたワークフローからのスケジュール導出
citation_author	山口, 昭
	岡野, 浩三
	谷口, 健一
citation_publisher	電子情報通信学会
citation_language	日本語
citation_date	2002-01-23
citation_journal_title	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
citation_volume	101
citation_issue	629
citation_firstpage	23
citation_lastpage	30
citation_issn	09135685
citation_public_url	http://hdl.handle.net/11094/27444
citation_keywords	コラボレートワーク
	ワークフロー
	時間ペトリネット
	スケジュール導出
	可到達解析
	collaborate work
	workflow
	timed Petri-net
	work schedules
	reachability analysis

閲覧可能ファイル

論文情報

論文詳細を表示